Pages that link to "Item:Q4933334"
From MaRDI portal
The following pages link to Constructors, Sufficient Completeness, and Deadlock Freedom of Rewrite Theories (Q4933334):
Displaying 6 items.
- Twenty years of rewriting logic (Q1931904) (← links)
- On the Church-Rosser and coherence properties of conditional order-sorted rewrite theories (Q1931906) (← links)
- A rewriting logic approach to specification, proof-search, and meta-proofs in sequent systems (Q2095424) (← links)
- Ground confluence of order-sorted conditional specifications modulo axioms (Q2291829) (← links)
- Metalevel algorithms for variant satisfiability (Q2413027) (← links)
- Metalevel Algorithms for Variant Satisfiability (Q2827841) (← links)
