Author:
Ibañez Yazmin Angelica,Mossakowski Till,Sannella Donald,Tarlecki Andrzej
Publisher
Springer International Publishing
Reference27 articles.
1. Basin, D.A., Clavel, M., Meseguer, J.: Reflective metalogical frameworks. ACM Trans. Comput. Log. 5(3), 528–576 (2004)
2. Lecture Notes in Computer Science;A Boronat,2009
3. Cerioli, M., Meseguer, J.: May I borrow your logic? (transporting logical structures along maps). Theor. Comput. Sci. 173, 311–347 (1997)
4. Clavel, M., Meseguer, J.: Reflection in conditional rewriting logic. Theor. Comput. Sci. 285(2), 245–288 (2002)
5. Diaconescu, R., Goguen, J.A., Stefaneas, P.: Logical support for modularisation. In: 2nd Workshop on Logical Environments, pp. 83–130. CUP, New York (1993)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Operations over Lightweight Ontologies and Their Implementation;Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems;2020-07-28
2. The Distributed Ontology, Model and Specification Language – DOL;Recent Trends in Algebraic Development Techniques;2017