CTRS
International Workshop on Conditional Term Rewriting Systems
-
1994
CTRS 1994
- 13-15 July
- Jerusalem, Israel
-
Conditional and Typed Rewriting Systems
21 Papers
1 Volume
-
1992
CTRS 1992
- 8-10 July
- Pont-a-Mousson, France
-
Conditional Term Rewriting Systems
40 Papers
1 Volume
-
1990
CTRS 1990
- 11-14 June
- Montreal, QC, Canada
-
Conditional and Typed Rewriting Systems
38 Papers
1 Volume