An edition of Rewriting Techniques and Applications (1985)
Rewriting Techniques and Applications
Dijon, France, May 20-22, 1985 (Lecture Notes in Computer Science)
By Jean-Pierre Jouannaud
Publish Date
January 1986
Publisher
Springer
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