Conditional term rewriting systems : Third International Workshop, CTRS-92, Pont-à-Mousson, France, July 8-10 1992 : proceedings

This volume contains the papers preesented at the Third International Workshop on Conditional Term Rewriting Systems, held in Pont- -Mousson, France, July 8-10, 1992. Topics covered include conditional rewriting and its applications to programming languages, specification languages, automated deduct...

Descripció completa

Dades bibliogràfiques

Autor corporatiu:	International workshop on conditional term rewriting systems :Pont-à-Mousson
Altres autors:	Rémy, Jean-Luc (Director editorial), Rusinowitch, Michaël, 1956- (Director editorial)
Format:	Livre numérique
Idioma:	Anglais
Publicat:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Col·lecció:	Lecture notes in computer science 656
Matèries:	Informatique Systèmes de réécriture (informatique) Langages de programmation Intelligence artificielle Logique symbolique et mathématique Actes de congrès
Accés en línia:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Nota:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Conditional term rewriting systems, Third International Workshop, CTRS-92, Pont-à-Mousson, France, July 8-10, 1992, proceedings, Berlin, Springer-Verlag, 1993, 1 vol. (xi, 501 p.), Lecture notes in computer science, 3-540-56393-8 • Conditional Term Rewriting Systems, Texte imprimé, 9783662204795