scientific article; zbMATH DE number 3540348

MaRDI QIDQ4116038zbMATH OpenFDO

Authors Arthur Gill

Publication date 1976

Mathematics Subject Classification ID

Classical propositional logic (03B05) Structure theory of lattices (06B05) Structure theory of Boolean algebras (06E05) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) General topics in the theory of software (68N01) Formal languages and automata (68Q45) Algorithms in computer science (68W99) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to information and communication theory (94-01) Theory of error-correcting codes and error-detecting codes (94B99)

Cited in

(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:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4116038)