scientific article; zbMATH DE number 777480
From MaRDI portal
Publication:4840207
zbMath0900.68148MaRDI QIDQ4840207
Publication date: 23 July 1995
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) Theory of operating systems (68N25)
Related Items (5)
Algebraic translations, correctness and algebraic compiler construction ⋮ UNIFORM DEFINABILITY IN PROPOSITIONAL DEPENDENCE LOGIC ⋮ Remarks on Compositionality ⋮ Machine Translation and Type Theory ⋮ A unified language processing methodology
This page was built for publication: