Conditional term rewriting systems
Conditional term rewriting systems
Jean-Pierre Jouannaud
Details
OL Work ID
OL18978704W
Subjects
Rewriting systems (Computer science)
Congresses
Machine theory
Systèmes de réécriture (Informatique)
Théorie des automates
Congrès
Find this book
Open Library