Publication:4171563

zbMath0389.68033MaRDI QIDQ4171563

Gottfried Tinhofer

Publication date: 1978

Mathematics Subject Classification ID

68Q70: Algebraic theory of languages and automata

08A55: Partial algebras

08A99: Algebraic structures

68W99: Algorithms in computer science

03F99: Proof theory and constructive mathematics