Higher order algebra, logic, and term rewriting : First International Workshop, HOA'93, Amsterdam, The Netherlands, September 23 24, 1993 : selected papers
Sparad:
| Institutionell upphovsman: | |
|---|---|
| Övriga upphovsmän: | , , , |
| Materialtyp: | Livre numérique |
| Språk: | Anglais |
| Publicerad: |
Berlin [etc.] :
Springer
201X.
Berlin [etc.] : |
| Serie: | Lecture Notes in Computer Science
816 |
| Ämnen: | |
| Länkar: | Accès Université d'Orléans Accès INSA CVL |
| Anmärkning: |
Autre collaborateur : Tobias Nipkow Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Higher order algebra, logic, and term rewriting, First International Workshop, HOA '93, Amsterdam The Netherlands, September 1993, selected papers, Jan Heering ... [et al.] eds, Berlin, Springer-Verlag, 1994, 1 vol. (344 p.), Lecture notes in computer science, 3-540-58233-9 |