Rewriting Logic as a Logical and Semantic Framework

This publication has 60 references indexed in Scilit:

• Maude Action Tool: Using Reflection to Map Action Semantics to Rewriting Logic
  Published by Springer Nature ,2000
• Specification and proof in membership equational logic
  Theoretical Computer Science, 2000
• May I borrow your logic? (Transporting logical structures along maps)
  Theoretical Computer Science, 1997
• Relationships between logical frameworks
  Published by Springer Nature ,1993
• The chemical abstract machine
  Theoretical Computer Science, 1992
• Explicit substitutions
  Journal of Functional Programming, 1991
• The gamma model and its discipline of programming
  Science of Computer Programming, 1990
• Actors
  Published by MIT Press ,1986
• Toposes, Triples and Theories
  Published by Springer Nature ,1985
• A characterisation of computable data types by means of a finite equational specification method
  Published by Springer Nature ,1980