Publication:4840207
From MaRDI portal
zbMath0900.68148MaRDI QIDQ4840207
Publication date: 23 July 1995
68-01: Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science
68N15: Theory of programming languages
68N25: Theory of operating systems
Related Items
Remarks on Compositionality, Machine Translation and Type Theory, UNIFORM DEFINABILITY IN PROPOSITIONAL DEPENDENCE LOGIC, Algebraic translations, correctness and algebraic compiler construction, A unified language processing methodology