Reflection in General Logics, Rewriting Logic, and Maude
Open Access
- 1 January 1998
- journal article
- Published by Elsevier in Electronic Notes in Theoretical Computer Science
- Vol. 15, 71-82
- https://doi.org/10.1016/s1571-0661(05)82553-8
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Reflection in General Logics, Rewriting Logic, and MaudeElectronic Notes in Theoretical Computer Science, 1998
- Principles of MaudeElectronic Notes in Theoretical Computer Science, 1996
- ELANElectronic Notes in Theoretical Computer Science, 1996
- Conditional rewriting logic as a unified model of concurrencyTheoretical Computer Science, 1992