The Symposium on Theoretical Aspects of Computer Science is organized jointly by the Special Interest Group for Applied Mathematics of AFCET (Association FranAaise de CybernA(c)tique Economique et Technique) and the Special Interest Group for Theoretical Computer Sciences of GI (Gesellschaft fA1/4r Informatik). It is held alternately in France and in Germany. This volume contains two invited papers, on combinatorial methods in computer science, and on the complexity of local optimization, and 24 contributions on theoretical aspects of computer science. Some software systems are presented showing the possibilities of applying theoretical research to the realization of software tools.[Die90] V. DIEKERT, aquot;Combinatorics on Tracesaquot;, Lecture Notes in Computer Science 454, 1990. [Eil74] S. EILENBERG, aquot;Automata, ... finite machinesaquot;, Proc. 4th IEEE Ann. Symp. on Switching Circuit Theory and Logical Design, p. 3-16, 1963.
|Author||:||Christian Choffrut, Matthias Jantzen|
|Publisher||:||Springer Science & Business Media - 1991-02-08|