Rewriting Logic as a Logical and Semantic Framework

This publication has 55 references indexed in Scilit:

• Maude Action Tool: Using Reflection to Map Action Semantics to Rewriting Logic
  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
  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
  1986
• Toposes, Triples and Theories
  1985
• A characterisation of computable data types by means of a finite equational specification method
  1980