Abstract | Keywords | Export | Availability | Bookmark

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This volume contains the presentations of the Sixth Symposium on Theoretical Aspects of Computer Science (STACS 89) held at the University of Paderborn, February 16-18, 1989. In addition to papers presented in the regular program the volume contains abstracts of software systems demonstrations which were included in this conference series in order to show applications of research results in theoretical computer science. The papers are grouped into the following thematic sections: computational geometry, automata theory and formal languages, semantics of programming languages, parallel algorithms, graph algorithms, complexity, structures, fault tolerance, completeness, distributed computing and concurrency.

Computer science --- 681.3*B11 --- 681.3*F0 --- 681.3*G2 --- 681.3*I1 --- 681.3*I35 --- Control design styles: hardwired control; microprogrammed logic arrays; writable control store--(hardware) --- Computerwetenschap--?*F0 --- Discrete mathematics (Mathematics of computing) --- Algebraic manipulation (Computing methodologies) --- Computational geometry and object modeling (Computer graphics) --- 681.3*I35 Computational geometry and object modeling (Computer graphics) --- 681.3*I1 Algebraic manipulation (Computing methodologies) --- 681.3*G2 Discrete mathematics (Mathematics of computing) --- 681.3*B11 Control design styles: hardwired control; microprogrammed logic arrays; writable control store--(hardware) --- Information theory. --- Computer science. --- Computer software. --- Logic design. --- Theory of Computation. --- Computational Mathematics and Numerical Analysis. --- Computation by Abstract Devices. --- Algorithm Analysis and Problem Complexity. --- Logics and Meanings of Programs. --- Mathematical Logic and Formal Languages. --- Mathematics. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Software, Computer --- Computer systems --- Informatics --- Science --- Computer mathematics --- Electronic data processing --- Mathematics --- Communication theory --- Communication --- Cybernetics