Title: Conditional term rewriting systems
Subjects: Rewriting systems (Computer science), Congresses, Machine theory, Systèmes de réécriture (Informatique), Théorie des automates, Congrès