Publication:4110584
From MaRDI portal
zbMath0342.68003MaRDI QIDQ4110584
Jürg Kohlas, Kurt Bauknecht, Carl August Zehnder
Publication date: 1976
68W30: Symbolic computation and algebraic computation
68Q45: Formal languages and automata
68-02: Research exposition (monographs, survey articles) pertaining to computer science
68N01: General topics in the theory of software
Related Items