Rewriting Logic as a Logical and Semantic Framework-Reference-Cited by-同舟云学术

Rewriting Logic as a Logical and Semantic Framework

Published:2002 Issue: Volume: Page:1-87
ISSN:
Container-title:Handbook of Philosophical Logic
language:
Short-container-title:

Author:

Martí-Oliet Narciso,Meseguer José

Publisher

Springer Netherlands

Link

http://link.springer.com/content/pdf/10.1007/978-94-017-0464-9_1.pdf

Reference128 articles.

1. M. Abadi, L. Cardelli, P.-L. Curien, and J.-J. Lévy. Explicit substitutions, Journal of Functional Programming, 1, 375–416, 1991.

2. G. Agha. Actors, The MIT Press, 1986.

3. W. E. Aitken, R. L. Constable, and J. L. Underwood. Metalogical frameworks II: Using reflected decision procedures, Technical report, Computer Science Department, Cornell University, 1995. Also, lecture by R. L. Constable at the Max Planck Institut für Informatik, Saarbrücken, Germany, July 21, 1993.

4. E. Astesiano and M. Cerioli. Relationships between logical frameworks. In Recent Trends in Data Type Specification, M. Bidoit and C. Choppy, eds. pp. 126–143. LNCS 655, Springer-Verlag, 1993.

5. L. Bachmair, H. Ganzinger, C. Lynch, and W. Snyder. Basic paramodulation and superposition. In Proc. 11th. Int. Conf. on Automated Deduction, Saratoga Springs, NY, June 1992, D. Kapur, ed. pp. 462–476. LNAI 607, Springer-Verlag, 1992.

Cited by 35 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Equational Unification and Matching, and Symbolic Reachability Analysis in Maude 3.2 (System Description);Automated Reasoning;2022

2. Symbolic Computation in Maude: Some Tapas;Logic-Based Program Synthesis and Transformation;2021

3. Programming and symbolic computation in Maude;Journal of Logical and Algebraic Methods in Programming;2020-01

4. π;Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing;2019-04-08

5. Parameterized Strategies Specification in Maude;Recent Trends in Algebraic Development Techniques;2019