scientific article; zbMATH DE number 3540348
From MaRDI portal
Publication:4116038
zbMath0346.68002MaRDI QIDQ4116038
Publication date: 1976
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Formal languages and automata (68Q45) Structure theory of lattices (06B05) Classical propositional logic (03B05) Theory of error-correcting codes and error-detecting codes (94B99) General topics in the theory of software (68N01) Structure theory of Boolean algebras (06E05) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to information and communication theory (94-01) Algorithms in computer science (68W99)
Related Items (2)
A general conservative extension theorem in process algebras with inequalities ⋮ An inner product space on irreducible and synchronizable probabilistic finite state automata
This page was built for publication: