ENGLISH

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

By Martin Wirsing (eds.) , C. P. Schnorr (auth.) , Robert Cori

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
1988
ISBN
3540188347, 9783540188346
DOI
10.1007/BFb0035825
LCC
QA75.5 .S958 1988
Open Library ID
OL2526818M
Language
english
Format
DJVU
Filesize
5 MB (5123724 bytes)
Series
Lecture Notes in Computer Science 294
Edition
1
Pages
408\411
Topic
Computers
Library
Kolxo3
DPI
300
Time added
2009-12-04 00:34:26
Algorithm Analysis and Problem Complexity; Logics

Description

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.

Similar books