scientific article; zbMATH DE number 3410619
From MaRDI portal
Publication:5674989
zbMath0259.68033MaRDI QIDQ5674989
Publication date: 1972
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Formal languages and automata (68Q45) General topics in the theory of software (68N01) Algorithms in computer science (68W99)
Related Items (4)
Transformations of sequential specifications into concurrent specifications by synchronization guards ⋮ On logic of complex algorithms ⋮ Classes of formal grammars ⋮ DFC-algorithms for Suszko logic and one-to-one Gentzen type formalizations
This page was built for publication:
