Publication:5653569
From MaRDI portal
zbMath0242.68042MaRDI QIDQ5653569
Publication date: 1972
68Q45: Formal languages and automata
68-02: Research exposition (monographs, survey articles) pertaining to computer science
Related Items
Some restrictions onW-grammars, A survey of state vectors, VDM semantics of programming languages: Combinators and monads, A denotational semantics for shared-memory parallelism and nondeterminism, Correctness of the compiling process based on axiomatic semantics, The formal definition of a real-time language, On an equivalence between continuation and stack semantics, The concept of a linguistic variable and its application to approximate reasoning. I, The concept of a linguistic variable and its application to approximate reasoning. II, The concept of a linguistic variable and its application to approximate reasoning. III, Whither semantics?, Unnamed Item, Some difficulties with abstract and concrete syntax