Rewriting Logic as a Logical and Semantic Framework
Authors:
- Narciso Martí-OlietNMNarciso Martí-Oliet
- José MeseguerJMJosé Meseguer
Open Access
- 31 December 1996
- journal article
- Published by Elsevier in Electronic Notes in Theoretical Computer Science
- Vol. 4, 190-225
Abstract
No abstract availableKeywords
This publication has 26 references indexed in Scilit:
- May I borrow your logic? (Transporting logical structures along maps)Theoretical Computer Science, 1997
- Specification and proof in membership equational logic1997
- Principles of MaudeElectronic Notes in Theoretical Computer Science, 1996
- ELANElectronic Notes in Theoretical Computer Science, 1996
- Basic paramodulation and superposition1992
- Explicit substitutionsJournal of Functional Programming, 1991
- Encoding a dependent-type λ-calculus in a logic programming language1990
- Linear logicTheoretical Computer Science, 1987
- Introducing institutions1984
- A characterisation of computable data types by means of a finite equational specification method1980