

An edition of Rewriting Techniques and Applications (1985)
Dijon, France, May 20-22, 1985
By Jean-Pierre Jouannaud
Publish Date
1985
Publisher
Springer-Verlag
Language
eng
Pages
441
Description:
subjects: Réécriture, Algebraïsche logica, Algorithme, Informatique théorique, Logiciel, Congrès, Computer programming, Termersetzungssystem, Démonstration théorème, Bewijstheorie, Algorithmes, Réécriture, Systèmes de (Informatique), Rewriting systems (Computer science), Specificatie, Démonstration automatique, Computer algorithms, Programmation (Informatique), Congresses, Unification, Programmation en logique, Computermethoden, Algorithms, Machine theory, Systèmes de réécriture (Informatique), Datenverarbeitung, Produktion, Reduktionssystem