STACS 88 : 5th Annual Symposium on Theoretical Aspects of Computer Science Bordeaux, France, February 11-13, 1988 Proceedings /

This volume contains the presentations of the Fifth Symposium on Theoretical Aspects of Computer Science (STACS 88) held at the University of Bordeaux, February 11-13, 1988. In addition to papers presented in the regular program the volume contains abstracts of software systems demonstrations which...

Full description

Bibliographic Details

Corporate Authors:	Symposium on Theoretical Aspects of Computer Science Bordeaux, France, SpringerLink (Online service)
Other Authors:	Cori, Robert, Wirsing, M. (Martin)
Format:	Conference Proceeding eBook
Language:	English French
Language Notes:	Two articles in French.
Published:	Berlin, Heidelberg : Springer-Verlag, 1988.
Series:	Lecture notes in computer science ; 294.
Subjects:	Computer science. Microprogramming. Computer software. Logic design. Algebra > Data processing. Combinatorial analysis. Algorithm Analysis and Problem Complexity. Logics and Meanings of Programs. Mathematical Logic and Formal Languages. Control Structures and Microprogramming. Symbolic and Algebraic Manipulation. Electronic books. Conference proceedings.
Online Access:	Connect to the full text of this electronic book