Pages that link to "Item:Q5881267"
From MaRDI portal
The following pages link to Conditional rewriting logic: Deduction, models and concurrency (Q5881267):
Displaying 19 items.
- Strict coherence of conditional rewriting modulo axioms (Q683741) (← links)
- Conditional and typed rewriting systems. 2nd international CTRS workshop, Montreal, Canada, June 11--14, 1990. Proceedings (Q1189444) (← links)
- Conditional rewriting logic as a unified model of concurrency (Q1190488) (← links)
- Equational rules for rewriting logic (Q1608925) (← links)
- Rewriting logic: Roadmap and bibliography (Q1615001) (← links)
- Twenty years of rewriting logic (Q1931904) (← links)
- Logicality of conditional rewrite systems (Q1978646) (← links)
- New foundations for rewriting logic (Q2703691) (← links)
- Timed term rewrite systems (Q2841289) (← links)
- Deriving bisimulation congruences: a 2-categorical approach (Q2842606) (← links)
- José Meseguer: Scientist and Friend Extraordinaire (Q2945698) (← links)
- Sentence-Normalized Conditional Narrowing Modulo in Rewriting Logic and Maude (Q2945699) (← links)
- Priority rewriting: Semantics, confluence, and conditionals (Q5055727) (← links)
- Towards Modelling Actor-Based Concurrency in Term Rewriting (Q5240184) (← links)
- (Q5691496) (← links)
- Conditional term rewriting and first-order theorem proving (Q5881190) (← links)
- Conditional rewriting in focus (Q5881263) (← links)
- Compiling concurrent rewriting onto the Rewrite Rule Machine (Q5881288) (← links)
- A general theory of confluent rewriting systems for logic programming and its applications (Q5935989) (← links)