Higher-order algebra, logic, and term rewriting : second international workshop, HOA '95, Paderborn, Germany, September 21-22, 1995 : selected papers
This book presents a collection of revised refereed papers selected from the presentations accepted for the Second International Workshop on Higher-Order Algebra, Logic, and Term Rewriting, HOA '95, held in Paderborn, Germany, in September 1995. The 14 research papers included, together with an...
Salvato in:
| Ente Autore: | |
|---|---|
| Altri autori: | , , , |
| Natura: | Livre numérique |
| Lingua: | Anglais |
| Pubblicazione: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Serie: | Lecture notes in computer science
1074 |
| Soggetti: | |
| Accesso online: | 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: |
Autre collaborateur : Bernhard Möller Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Higher-order algebra, logic, and term rewriting, second international workshop, HOA '95, Paderborn, Germany, September 21-22, 1995, selected papers, Gilles Dowek, Jan Heering, Karl Meinke ... [et al.] (eds.), 1996, New York, Springer, 1 vol. (287 p.), Lecture notes in computer science, 3-540-61254-8 • Higher-Order Algebra, Logic, and Term Rewriting, Texte imprimé, 9783662201862 |