CTRS

International Workshop on Conditional Term Rewriting Systems
  1. 1994

    CTRS 1994

    • 13-15 July
    • Jerusalem, Israel
  2. 1992

    CTRS 1992

    • 8-10 July
    • Pont-a-Mousson, France
  3. 1990

    CTRS 1990

    • 11-14 June
    • Montreal, QC, Canada
  4. 1987

    CTRS 1987

    • 8-10 July
    • Orsay, France