Higher-Order Algebra, Logic, and Term Rewriting Second International Workshop, HOA '95, Paderborn, Germany, September 1995. Selected Papers / edited by Gilles Dowek, Jan Heering, Karl Meinke, Bernhard Möller.
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...
Full description
Saved in:
Bibliographic Details
| Corporate Author: |
SpringerLink (Online service) |
|---|
| Other Authors: |
Dowek, Gilles
(Editor),
Heering, Jan
(Editor),
Meinke, Karl
(Editor),
Möller, Bernhard
(Editor) |
|---|
| Format: | eBook
|
|---|
| Language: | English |
|---|
| Published: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
1996.
|
|---|
| Edition: | 1st ed. 1996. |
|---|
| Series: | Lecture Notes in Computer Science,
1074
Springer eBook Collection.
|
|---|
| Subjects: | |
|---|
| Online Access: | Click to view e-book
|
|---|
| Holy Cross Note: | Loaded electronically.
Electronic access restricted to members of the Holy Cross Community. |
|---|