Pages that link to "Item:Q1189444"
From MaRDI portal
The following pages link to Conditional and typed rewriting systems. 2nd international CTRS workshop, Montreal, Canada, June 11--14, 1990. Proceedings (Q1189444):
Displaying 6 items.
- Programming language implementation and logic programming. International Workshop PLILP '90, Linköping, Sweden, August 20-22, 1990. Proceedings (Q1188853) (← links)
- Strategy compliant multi-threaded term completion (Q2365124) (← links)
- Church-Rosser property for conditional rewriting systems with built-in predicates as premises (Q2782478) (← links)
- Timed term rewrite systems (Q2841289) (← links)
- Meta-rule synthesis from crossed rewrite systems (Q5881274) (← links)
- Types in compilation. 3rd international workshop, TIC 2000, Montreal, Canada, September 21, 2000. Revised selected papers (Q5941728) (← links)