Reflection in conditional rewriting logic

DOI10.1016/S0304-3975(01)00360-7zbMath1001.68060MaRDI QIDQ1608918

José Meseguer, Manuel Clavel

Publication date: 13 August 2002

Published in: Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

reflectionuniversal theoryrewriting logicreflective logicsreflective conditional rewriting logic

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Grammars and rewriting systems (68Q42)

Related Items (17)

Rewriting logic: Roadmap and bibliography ⋮ Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic ⋮ Semantics and pragmatics of real-time maude ⋮ José Meseguer: Scientist and Friend Extraordinaire ⋮ Modularity of Ontologies in an Arbitrary Institution ⋮ Twenty years of rewriting logic ⋮ Declarative Debugging of Membership Equational Logic Specifications ⋮ Incorporating quotation and evaluation into Church's type theory ⋮ Unnamed Item ⋮ Proof Search for the First-Order Connection Calculus in Maude ⋮ Programming and symbolic computation in Maude ⋮ Order-sorted Homeomorphic Embedding Modulo Combinations of Associativity and/or Commutativity Axioms* ⋮ Comparing Meseguer's Rewriting Logic with the Logic CRWL ⋮ Towards Behavioral Maude ⋮ Deduction, Strategies, and Rewriting ⋮ Maude: specification and programming in rewriting logic ⋮ Two case studies of semantics execution in Maude: CCS and LOTOS

Uses Software

• ELAN
• Maude
• Refal

Cites Work

• Prolegomena to a theory of mechanized formal reasoning
• Conditional rewriting logic as a unified model of concurrency
• IThe 2nd international workshop on rewriting logic and its applications, RWLW.. Abbaye des Prèmontrès at Pont-á-Mousson, France, September 1998
• Metalogical frameworks. II: Developing a reflected decision procedure
• Maude: specification and programming in rewriting logic
• Specification and proof in membership equational logic
• On degrees of unsolvability
• The concept of a supercompiler
• Metamathematics, Machines and Gödel's Proof
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Reflection in conditional rewriting logic