Pages that link to "Item:Q1187660"
From MaRDI portal
The following pages link to Rewriting techniques and applications. 3rd international conference, RTA-89, Chapel Hill, NC, USA, April 3--5, 1989. Proceedings (Q1187660):
Displaying 19 items.
- Categorification, term rewriting and the Knuth-Bendix procedure (Q626714) (← links)
- Bi-rewrite systems (Q674746) (← links)
- Rewriting techniques and applications. 19th international conference, RTA 2008, Hagenberg, Austria, July 15--17, 2008. Proceedings (Q932523) (← links)
- Rewriting techniques and applications. 20th international conference, RTA 2009, Brasília, Brazil, June 29--July 1, 2009. Proceedings (Q1022616) (← links)
- Rewriting techniques and applications. Bordeaux, France, May 25--27, 1987. Proceedings. (2nd International Conference) (Q1089324) (← links)
- Systems of reductions (Q1098283) (← links)
- Only prime superpositions need be considered in the Knuth-Bendix completion procedure (Q1106657) (← links)
- Algebraic and logic programming. Second international conference, Nancy, France, October 1--3, 1990. Proceedings (Q1188886) (← links)
- Conditional and typed rewriting systems. 2nd international CTRS workshop, Montreal, Canada, June 11--14, 1990. Proceedings (Q1189444) (← links)
- A field guide to equational logic (Q1201350) (← links)
- Artin groups, rewriting systems and three-manifolds (Q1295710) (← links)
- Rewriting systems of Coxeter groups (Q1321036) (← links)
- Proving termination of (conditional) rewrite systems. A semantic approach (Q1323317) (← links)
- Two families of Newman lattices (Q1337163) (← links)
- Special issue: Rewriting techniques and applications. Selected papers from the 12th international conference, RTA 2001, Utrecht University, Utrecht, The Netherlands, May 22-24, 2001. (Q1434840) (← links)
- Structures for abstract rewriting (Q2642463) (← links)
- Left-to-right tree pattern matching (Q5055771) (← links)
- Open problems in rewriting (Q5055780) (← links)
- More problems in rewriting (Q5055812) (← links)
