scientific article
From MaRDI portal
Publication:3992670
zbMath0743.68044MaRDI QIDQ3992670
Publication date: 17 September 1992
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Theory of programming languages (68N15) General topics in the theory of software (68N01)
Related Items
Reasoning with power defaults ⋮ Computing downwards accumulations on trees quickly ⋮ A Relation Algebraic Semantics for a Lazy Functional Logic Language ⋮ Computational interpretations of linear logic