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

Saved in:

Bibliographic Details
Meeting name:	Annual Symposium on Theoretical Aspects of Computer Science (5th : 1988 : Bordeaux, France)
Imprint:	Berlin, Heidelberg : Springer-Verlag, 1988.
Description:	1 online resource : v.: digital.
Language:	English French
Series:	Lecture Notes in Computer Science, 0302-9743 ; 294 Lecture notes in computer science ; 294.
Subject:	Computer science. Microprogramming. Computer software. Logic design. Algebra -- Data processing. Combinatorial analysis. Algebra -- Data processing. Combinatorial analysis. Computer science. Computer software. Logic design. Microprogramming.
Format:	E-Resource Book
URL for this record:	http://pi.lib.uchicago.edu/1001/cat/bib/11078167

Hidden Bibliographic Details
Other authors / contributors:	Cori, Robert. Wirsing, M. (Martin)
ISBN:	9783540481904 3540481907 3540481907 0387188347 9780387188348 3540188347 9783540188346
Digital file characteristics:	text file PDF
Notes:	Includes bibliographical references. Restrictions unspecified Electronic reproduction. [S.l.] : HathiTrust Digital Library, 2011. Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002. http://purl.oclc.org/DLF/benchrepro0212 Two articles in French. digitized 2011 HathiTrust Digital Library committed to preserve
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.
Other form:	Print version: STACS 88
Standard no.:	10.1007/BFb0035825

Similar Items