Author:
Durán Francisco,Meseguer José
Subject
General Computer Science,Theoretical Computer Science
Reference33 articles.
1. Toposes, Triples and Theories;Barr,1985
2. Unifying initial and loose semantics of parameterized specifications in an arbitrary institution;Baumeister,1991
3. M. Bidoit, H.-J. Kreowski, P. Lescanne, F. Orejas, D. Sannella (Eds.), Algebraic System Specification and Development. A Survey and Annotated Bibliography, Lecture Notes in Computer Science, Vol. 501, Springer, Berlin, 1991.
4. The semantics of Clear, a specification language;Burstall,1980
5. M. Clavel, Reflection in general logics and in rewriting logic with applications to the Maude language, Ph.D. Thesis, Universidad de Navarra, 1998.
Cited by
14 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Variants and satisfiability in the infinitary unification wonderland;Journal of Logical and Algebraic Methods in Programming;2023-08
2. Variant Satisfiability of Parameterized Strings;Rewriting Logic and Its Applications;2020
3. Variants in the Infinitary Unification Wonderland;Rewriting Logic and Its Applications;2020
4. Programming and symbolic computation in Maude;Journal of Logical and Algebraic Methods in Programming;2020-01
5. Modularity of Ontologies in an Arbitrary Institution;Lecture Notes in Computer Science;2015