Cover Image

Higher-order algebra, logic, and term rewriting : first international workshop, HOA '93, Amsterdam The Netherlands, September 23-24, 1993 : selected papers /

"This volume contains the final revised versions of the best papers presented at the First International Workshop on Higher-Order Algebra, Logic, and Term Rewriting (HOA '93), held in Amsterdam in September 1993. Higher-Order methods are increasingly applied in functional and logic program...

Full description

Bibliographic Details
Corporate Authors: International Workshop on Higher-Order Algebra, Logic, and Term Rewriting Amsterdam, Netherlands, SpringerLink (Online service)
Other Authors: Heering, J.
Format: Conference Proceeding eBook
Language:English
Published: Berlin ; New York : Springer-Verlag, [1994]
Series:Lecture notes in computer science ; 816.
Subjects:
Rewriting systems (Computer science) > Congresses.
Algebra > Congresses.
Logic, Symbolic and mathematical > Congresses.
vérification logique.
spécification langage.
implémentation système.
réécriture.
logique mathématique.
programmation en logique.
langage programmation.
algèbre.
théorie modèle.
Algèbre > Congrès.
Logique symbolique et mathématique > Congrès.
Réécriture, Systèmes de (Informatique) > Congrès.
Algebra.
Logic, Symbolic and mathematical.
Rewriting systems (Computer science)
Logica.
Réécriture, Systèmes de (informatique) > Congrès.
Algebraische Spezifikation.
Kongre€.
Termersetzungssystem.
Electronic books.
Kongre€ > Amsterdam > 1993.
Conference proceedings.
Amsterdam (1993)
Online Access:Connect to the full text of this electronic book

Internet

Connect to the full text of this electronic book

Remote Storage

Holdings details from Remote Storage
Call Number: QA267 .I5785 1993
 
Call Number Status Get It
QA267 .I5785 1993 Available