Cover Image

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

Show other versions (1)

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
Description
Summary: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 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: algorithms, complexity, formal languages, rewriting systems and abstract data types, graph grammars, distributed algorithms, geometrical algorithms, trace languages, semantics of parallelism.
Item Description:Electronic resource.
Physical Description:1 online resource : illustrations.
Bibliography:Includes bibliographical references.
ISBN:9783540481904 (electronic bk.)
3540481907 (electronic bk.)
ISSN:0302-9743 ;