Higher-order algebra, logic and term rewriting: first international workshop, hoa '93, amsterdam, the netherlands, september 23 - 24, 1993, selected papers
Auteur :
Heering, J.
ISBN :
9783540582335
Date de publication :
28 juil. 1994
Dimensions :
22,9 x 15,2 x 1,9 cm
Poids :
1130 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
The research papers collected in this volume are devoted to the algebra and model theory of higher-order languages, computational logic techniques such as resolution and term rewriting, and specification and verification case studies. They suggest new research directions in this area.