scientific article
From MaRDI portal
Publication:3030230
zbMath0626.68003MaRDI QIDQ3030230
No author found.
Publication date: 1985
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Conference proceedings and collections of articles (00Bxx)
Related Items
Unification theory ⋮ Logical foundations for programming semantics ⋮ The foundation of a generic theorem prover
