Pages that link to "Item:Q3608811"
From MaRDI portal
The following pages link to Narrowing, Abstraction and Constraints for Proving Properties of Reduction Relations (Q3608811):
Displaying 5 items.
- Proving weak properties of rewriting (Q554217) (← links)
- Sentence-normalized conditional narrowing modulo in rewriting logic and Maude (Q1655486) (← links)
- On Relating Theories: Proof-Theoretical Reduction (Q3305638) (← links)
- TERMINATION OF ABSTRACT REDUCTION SYSTEMS (Q3620615) (← links)
- On the connection between narrowing and proof by consistency (Q5210767) (← links)