Author:
Neves Renato,Madeira Alexandre,Martins Manuel A.,Barbosa Luís S.
Publisher
Springer Berlin Heidelberg
Reference9 articles.
1. Lecture Notes in Artificial Intelligence;C. Areces,2002
2. Blackburn, P.: Representation, reasoning, and relational structures: A hybrid logic manifesto. Logic Journal of IGPL 8(3), 339–365 (2000)
3. Diaconescu, R., Madeira, A.: Encoding hybridized institutions into first order logic (submitted, 2013)
4. Goguen, J.A., Burstall, R.M.: Institutions: abstract model theory for specification and programming. J. ACM 39, 95–146 (1992)
5. Hoffmann, G., Areces, C.: Htab: a terminating tableaux system for hybrid logic. Electr. Notes Theor. Comput. Sci. 231, 3–19 (2009)
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献