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 papers

by , , and

Cover of: Higher-order algebra, logic, and term rewriting by Jan Heering, Karl Meinke, Bernhard Moller
Locate

My Reading Lists:

Create a new list
Notes
Notes

Check nearby libraries

Buy this book

Last edited by ImportBot
March 28, 2025 | 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 papers

by , , and

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

Publish Date
Publisher
Springer-Verlag
Language
English
Pages
344

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 Notes

Includes bibliographical references.

Published in
Berlin, New York
Series
Lecture notes in computer science ;, 816

Classifications

Dewey Decimal Class
005.1/01/5113
Library of Congress
QA267 .I5785 1994, QA75.5-76.95, QA267 .I5785 1993

The Physical Object

Pagination
344 p. :
Number of pages
344

Edition Identifiers

Open Library
OL1079989M
ISBN 10
3540582339, 0387582339
LCCN
94003447
OCLC/WorldCat
502560623
Goodreads
1856248
1748760

Work Identifiers

Work ID
OL18235104W

Source records

Scriblio MARC record
Library of Congress MARC record
Internet Archive item record
Library of Congress MARC record
Better World Books record
Internet Archive item record
Promise Item
marc_columbia MARC record

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
March 28, 2025 Edited by ImportBot Redacting ocaids
July 14, 2024 Edited by MARC Bot import existing book
December 5, 2022 Edited by ImportBot import existing book
August 15, 2022 Edited by ImportBot import existing book
April 1, 2008 Created by an anonymous user Imported from Scriblio MARC record