Pages that link to "Item:Q1608918"
From MaRDI portal
The following pages link to Reflection in conditional rewriting logic (Q1608918):
Displaying 17 items.
- Two case studies of semantics execution in Maude: CCS and LOTOS (Q816216) (← links)
- Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic (Q875516) (← links)
- Semantics and pragmatics of real-time maude (Q880982) (← links)
- Maude: specification and programming in rewriting logic (Q1608917) (← links)
- Rewriting logic: Roadmap and bibliography (Q1615001) (← links)
- Incorporating quotation and evaluation into Church's type theory (Q1753993) (← links)
- Twenty years of rewriting logic (Q1931904) (← links)
- Programming and symbolic computation in Maude (Q2291818) (← links)
- Comparing Meseguer's Rewriting Logic with the Logic CRWL (Q2841300) (← links)
- Towards Behavioral Maude (Q2842559) (← links)
- (Q2851051) (← links)
- Deduction, Strategies, and Rewriting (Q2864357) (← links)
- José Meseguer: Scientist and Friend Extraordinaire (Q2945698) (← links)
- Modularity of Ontologies in an Arbitrary Institution (Q2945717) (← links)
- Declarative Debugging of Membership Equational Logic Specifications (Q3507364) (← links)
- Order-sorted Homeomorphic Embedding Modulo Combinations of Associativity and/or Commutativity Axioms* (Q4988927) (← links)
- Proof Search for the First-Order Connection Calculus in Maude (Q5179137) (← links)
