STACS 88 : 5th Annual Symposium on Theoretical Aspects of Computer Science Bordeaux, France, February 11-13, 1988 Proceedings / edited by Robert Cori, Martin Wirsing.
By: (5th : Annual Symposium on Theoretical Aspects of Computer Science (5th : 1988 : Bordeaux, France)
Contributor(s): Cori, Robert | Wirsing, M. (Martin)Material type: TextLanguage: English, French Series: SerienbezeichnungLecture notes in computer science: 294.Publisher: Berlin, Heidelberg : Springer-Verlag, 1988Description: 1 online resource : v.: digitalContent type: text Media type: computer Carrier type: online resourceISBN: 9783540481904; 3540481907Subject(s): Computer science | Microprogramming | Computer software | Logic design | Algebra -- Data processing | Combinatorial analysis | Ordinateurs -- Congrès | Informatique -- Congrès | Algebra -- Data processing | Combinatorial analysis | Computer science | Computer software | Logic design | Microprogramming | Informatique. -- Congrès | Ordinateurs. -- CongrèsGenre/Form: Electronic books. Additional physical formats: Print version:: STACS 88DDC classification: 004 LOC classification: QA75.5 | .S958 1988Other classification: 54.10 | 54.00 | *00B25 | 68-06 Online resources: Click here to access online
|Item type||Current location||Collection||Call number||Status||Date due||Barcode||Item holds|
Includes bibliographical references.
Algorithms -- Complexity -- Formal Languages -- Rewriting Systems and Abstract Data Types -- Graph Grammars -- Distributed Algorithms -- Geometrical Algorithms -- Trace Languages -- Semantics of Parallelism -- Systems Demonstrations.
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.
Two articles in French.
Use copy Restrictions unspecified star MiAaHDL
Electronic reproduction. [Place of publication not identified] : HathiTrust Digital Library, 2011. MiAaHDL
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. MiAaHDL
digitized 2011 HathiTrust Digital Library committed to preserve pda MiAaHDL