scientific article; zbMATH DE number 3383521
From MaRDI portal
Publication:5653569
zbMath0242.68042MaRDI QIDQ5653569
Publication date: 1972
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Formal languages and automata (68Q45) Research exposition (monographs, survey articles) pertaining to computer science (68-02)
Related Items (13)
Unnamed Item ⋮ Correctness of the compiling process based on axiomatic semantics ⋮ The formal definition of a real-time language ⋮ A survey of state vectors ⋮ VDM semantics of programming languages: Combinators and monads ⋮ Some difficulties with abstract and concrete syntax ⋮ On an equivalence between continuation and stack semantics ⋮ Whither 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 ⋮ A denotational semantics for shared-memory parallelism and nondeterminism ⋮ Some restrictions onW-grammars
This page was built for publication:
