An edition of Higher-order algebra, logic, and term rewriting (1994)

Higher-Order Algebra, Logic, and Term Rewriting

First International Workshop, Hoa '93, Amsterdam, the Netherlands September 23-24, 1993 Selected Pa (Lecture Notes in Computer Science)

by , , and

Higher-Order Algebra, Logic, and Term Rewriti ...
Jan Heering, Karl Meinke, Bern ...
Locate

My Reading Lists:

Create a new list
Notes
Notes

Check nearby libraries

Buy this book

Last edited by MARC Bot
July 30, 2019 | History
Edit
An edition of Higher-order algebra, logic, and term rewriting (1994)

Higher-Order Algebra, Logic, and Term Rewriting

First International Workshop, Hoa '93, Amsterdam, the Netherlands September 23-24, 1993 Selected Pa (Lecture Notes in Computer Science)

by , , and

This edition doesn't have a description yet. Can you add one?

Publish Date
Publisher
Springer
Language
English
Pages
351

Check nearby libraries

Buy this book

Subjects

Congresses, Rewriting systems (Computer science), Symbolic and mathematical Logic, Algebra, Logic, symbolic and mathematical, Machine theory
Edition Availability
Cover of: Higher-Order Algebra, Logic, and Term Rewriting
Higher-Order Algebra, Logic, and Term Rewriting: Second International Workshop, HOA '95, Paderborn, Germany, September 1995. Selected Papers
Mar 12, 2014, Springer
paperback
Cover of: Higher-Order Algebra, Logic, and Term Rewriting
Higher-Order Algebra, Logic, and Term Rewriting: First International Workshop, HOA '93, Amsterdam, The Netherlands, September 23 - 24, 1993. Selected Papers
Mar 12, 2014, Springer
paperback
Cover of: Higher-Order Algebra, Logic, and Term Rewriting
Higher-Order Algebra, Logic, and Term Rewriting: First International Workshop, Hoa '93, Amsterdam, the Netherlands September 23-24, 1993 Selected Pa (Lecture Notes in Computer Science)
July 1994, Springer
in English
Cover of: Higher-Order Algebra, Logic, and Term Rewriting
Higher-Order Algebra, Logic, and Term Rewriting: First International Workshop, Hoa '93, Amsterdam, the Netherlands, September 23 - 24, 1993. Selected (Lecture Notes in Computer Science)
September 1994, Springer
Paperback in English
Cover of: Higher-order algebra, logic, and term rewriting
Higher-order algebra, logic, and term rewriting: first international workshop, HOA '93, Amsterdam The Netherlands, September 23-24, 1993 : selected papers
1994, Springer-Verlag
in English

Add another edition?

Book Details

Edition Identifiers

Open Library
OL7447560M
ISBN 10
0387582339
ISBN 13
9780387582337
Goodreads
1748760

Work Identifiers

Work ID
OL18235104W

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

Loading indicator
Loading carousel
Loading indicator
Loading carousel

History

Download catalog record: RDF / JSON / OPDS | Wikipedia citation
July 30, 2019 Edited by MARC Bot associate edition with work OL18235104W
April 24, 2010 Edited by Open Library Bot Fixed duplicate goodreads IDs.
April 16, 2010 Edited by bgimpertBot Added goodreads ID.
April 29, 2008 Created by an anonymous user Imported from amazon.com record