Rewriting techniques and applications : 4th International Conference, RTA-91 Como, Italy, April 10 12, 1991 : proceedings

This volume contains the proceedings of the Fourth International Conference on Rewriting Techniques and Applications (RTA-91), held in Como, Italy, April 10-12, 1991. The volume includes 40 papers on a wide variety of topics including: term rewriting systems, equational unification, algebraic rewrit...

Celý popis

Podrobná bibliografie

Korporativní autor:	International Conference on Rewriting Techniques and Applications :Como, IT
Další autoři:	Book, Ronald Vernon, 1937-1997 (Šéfredaktor, odpovědný redaktor)
Médium:	Livre numérique
Jazyk:	Anglais
Vydáno:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Edice:	Lecture notes in computer science 488
Témata:	Informatique Algorithmes Systèmes de réécriture (informatique) Langages de programmation Ordinateurs Intelligence artificielle Logique symbolique et mathématique Actes de congrès
On-line přístup:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Poznámka:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Rewriting techniques and applications, 4th International Conference, RTA-91, Como, Italy, April 10-12, 1991, proceedings, Ronald V. Book, ed., Berlin, Springer-Verlag, 1991, 1 vol. (vii, 458 p.), Lecture notes in computer science, 0-387-53904-2 • Rewriting Techniques and Applications, Texte imprimé, 9783662181737