scientific article; zbMATH DE number 1927411
From MaRDI portal
Publication:4484328
zbMath1013.68541MaRDI QIDQ4484328
Publication date: 12 June 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2410/24100003.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Mechanization of proofs and logical operations (03B35) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Natural language processing (68T50) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) History of computer science (68-03)
Related Items
A comprehensible guide to a new unifier for CIC including universe polymorphism and overloading, What Is Essential Unification?, Higher-order unification: a structural relation between Huet's method and the one based on explicit substitutions