This volume contains selected papers from FCT '91. Topics covered include: semantics and logical concepts, automata and formal languages, computational geometry, complexity, algorithms, and counting and combinatorics.
Lothar Budach
Boolean function Combinatorics algorithm algorithms automata complexity computational geometry cryptography cryptology data structure distributed computing formal language formal specification programming semantics