Higher-Order Algebra, Logic, and Term Rewriting, Second International Workshop, HOA '95, Paderborn, Germany, September 21-22, 1995, Selected Papers
In: HOA, Jg. 1074 (1996)
Konferenz
Zugriff:
Titel: |
Higher-Order Algebra, Logic, and Term Rewriting, Second International Workshop, HOA '95, Paderborn, Germany, September 21-22, 1995, Selected Papers
|
---|---|
Autor/in / Beteiligte Person: | Dowek, Gilles ; Heering, Jan ; Meinke, Karl ; Möller, Bernhard |
Link: | |
Zeitschrift: | HOA, Jg. 1074 (1996) |
Veröffentlichung: | 1996 |
Medientyp: | Konferenz |
ISBN: | 978-3-540-61254-4 (print) ; 3-540-61254-8 (print) |
DOI: | 10.1007/3-540-61254-8 |
Sonstiges: |
|