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