skip to content
STACS 88 : 5th Annual Symposium on Theoretical Aspects of Computer Science Bordeaux, France, February 11-13, 1988 Proceedings Preview this item
ClosePreview this item
Checking...

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

Author: Robert Cori; M Wirsing
Publisher: Berlin, Heidelberg : Springer-Verlag, 1988.
Series: Lecture notes in computer science, 294.
Edition/Format:   eBook : Document : Conference publication : EnglishView all editions and formats
Database:WorldCat
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  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Electronic books
Congrès
Additional Physical Format: Print version:
STACS 88
(NL-LeOCL)185398693
(OCoLC)17481917
Material Type: Conference publication, Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Robert Cori; M Wirsing
ISBN: 9783540481904 3540481907
OCLC Number: 827359624
Language Note: Two articles in French.
Reproduction Notes: Electronic reproduction. [S.l.] : HathiTrust Digital Library, 2011. MiAaHDL
Description: 1 online resource : v.: digital.
Details: 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.
Contents: Algorithms --
Complexity --
Formal Languages --
Rewriting Systems and Abstract Data Types --
Graph Grammars --
Distributed Algorithms --
Geometrical Algorithms --
Trace Languages --
Semantics of Parallelism --
Systems Demonstrations.
Series Title: Lecture notes in computer science, 294.
Responsibility: edited by Robert Cori, Martin Wirsing.
More information:

Abstract:

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.

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/827359624> # STACS 88 : 5th Annual Symposium on Theoretical Aspects of Computer Science Bordeaux, France, February 11-13, 1988 Proceedings
    a schema:Book, schema:CreativeWork, schema:MediaObject ;
   library:oclcnum "827359624" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/3855863075#Topic/ordinateurs_congres> ; # Ordinateurs.--Congrès
   schema:about <http://experiment.worldcat.org/entity/work/data/3855863075#Topic/logics_and_meanings_of_programs> ; # Logics and Meanings of Programs
   schema:about <http://experiment.worldcat.org/entity/work/data/3855863075#Topic/informatique_congres> ; # Informatique.--Congrès
   schema:about <http://id.worldcat.org/fast/872527> ; # Computer software
   schema:about <http://experiment.worldcat.org/entity/work/data/3855863075#Topic/informatique> ; # Informatique
   schema:about <http://experiment.worldcat.org/entity/work/data/3855863075#Topic/control_structures_and_microprogramming> ; # Control Structures and Microprogramming
   schema:about <http://id.worldcat.org/fast/872451> ; # Computer science
   schema:about <http://id.worldcat.org/fast/1002045> ; # Logic design
   schema:about <http://experiment.worldcat.org/entity/work/data/3855863075#Topic/algorithm_analysis_and_problem_complexity> ; # Algorithm Analysis and Problem Complexity
   schema:about <http://id.worldcat.org/fast/804890> ; # Algebra--Data processing
   schema:about <http://experiment.worldcat.org/entity/work/data/3855863075#Topic/computer_science> ; # Computer Science
   schema:about <http://id.loc.gov/authorities/subjects/sh2007100982> ; # Algebra--Data processing
   schema:about <http://dewey.info/class/004/e19/> ;
   schema:about <http://id.worldcat.org/fast/868961> ; # Combinatorial analysis
   schema:about <http://id.worldcat.org/fast/1020033> ; # Microprogramming
   schema:about <http://experiment.worldcat.org/entity/work/data/3855863075#Topic/symbolic_and_algebraic_manipulation> ; # Symbolic and Algebraic Manipulation
   schema:about <http://experiment.worldcat.org/entity/work/data/3855863075#Topic/ordinateurs> ; # Ordinateurs
   schema:about <http://experiment.worldcat.org/entity/work/data/3855863075#Topic/mathematical_logic_and_formal_languages> ; # Mathematical Logic and Formal Languages
   schema:bookFormat schema:EBook ;
   schema:contributor <http://viaf.org/viaf/76878652> ; # Martin Wirsing
   schema:contributor <http://viaf.org/viaf/12388489> ; # Robert Cori
   schema:creator <http://experiment.worldcat.org/entity/work/data/3855863075#Meeting/annual_symposium_on_theoretical_aspects_of_computer_science_5th_1988_bordeaux_france> ; # Annual Symposium on Theoretical Aspects of Computer Science (5th : 1988 : Bordeaux, France)
   schema:datePublished "1988" ;
   schema:description "Algorithms -- Complexity -- Formal Languages -- Rewriting Systems and Abstract Data Types -- Graph Grammars -- Distributed Algorithms -- Geometrical Algorithms -- Trace Languages -- Semantics of Parallelism -- Systems Demonstrations."@en ;
   schema: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."@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/3855863075> ;
   schema:genre "Conference publication"@en ;
   schema:genre "Electronic books"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://worldcat.org/issn/0302-9743> ; # Lecture notes in computer science ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/17481917> ;
   schema:name "STACS 88 : 5th Annual Symposium on Theoretical Aspects of Computer Science Bordeaux, France, February 11-13, 1988 Proceedings"@en ;
   schema:productID "827359624" ;
   schema:url <http://dx.doi.org/10.1007/BFb0035825> ;
   schema:url <http://catalog.hathitrust.org/api/volumes/oclc/17481917.html> ;
   schema:workExample <http://worldcat.org/isbn/9783540481904> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/827359624> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/3855863075#Meeting/annual_symposium_on_theoretical_aspects_of_computer_science_5th_1988_bordeaux_france> # Annual Symposium on Theoretical Aspects of Computer Science (5th : 1988 : Bordeaux, France)
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/3855863075#Place/bordeaux_france> ; # Bordeaux, France)
   schema:name "Annual Symposium on Theoretical Aspects of Computer Science (5th : 1988 : Bordeaux, France)" ;
    .

<http://experiment.worldcat.org/entity/work/data/3855863075#Place/bordeaux_france> # Bordeaux, France)
    a schema:Place ;
   schema:name "Bordeaux, France)" ;
    .

<http://experiment.worldcat.org/entity/work/data/3855863075#Topic/algorithm_analysis_and_problem_complexity> # Algorithm Analysis and Problem Complexity
    a schema:Intangible ;
   schema:name "Algorithm Analysis and Problem Complexity"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/3855863075#Topic/control_structures_and_microprogramming> # Control Structures and Microprogramming
    a schema:Intangible ;
   schema:name "Control Structures and Microprogramming"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/3855863075#Topic/informatique_congres> # Informatique.--Congrès
    a schema:Intangible ;
   schema:name "Informatique.--Congrès"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/3855863075#Topic/logics_and_meanings_of_programs> # Logics and Meanings of Programs
    a schema:Intangible ;
   schema:name "Logics and Meanings of Programs"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/3855863075#Topic/mathematical_logic_and_formal_languages> # Mathematical Logic and Formal Languages
    a schema:Intangible ;
   schema:name "Mathematical Logic and Formal Languages"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/3855863075#Topic/ordinateurs_congres> # Ordinateurs.--Congrès
    a schema:Intangible ;
   schema:name "Ordinateurs.--Congrès"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/3855863075#Topic/symbolic_and_algebraic_manipulation> # Symbolic and Algebraic Manipulation
    a schema:Intangible ;
   schema:name "Symbolic and Algebraic Manipulation"@en ;
    .

<http://id.loc.gov/authorities/subjects/sh2007100982> # Algebra--Data processing
    a schema:Intangible ;
   schema:name "Algebra--Data processing"@en ;
    .

<http://id.worldcat.org/fast/1002045> # Logic design
    a schema:Intangible ;
   schema:name "Logic design"@en ;
    .

<http://id.worldcat.org/fast/1020033> # Microprogramming
    a schema:Intangible ;
   schema:name "Microprogramming"@en ;
    .

<http://id.worldcat.org/fast/804890> # Algebra--Data processing
    a schema:Intangible ;
   schema:name "Algebra--Data processing"@en ;
    .

<http://id.worldcat.org/fast/868961> # Combinatorial analysis
    a schema:Intangible ;
   schema:name "Combinatorial analysis"@en ;
    .

<http://id.worldcat.org/fast/872451> # Computer science
    a schema:Intangible ;
   schema:name "Computer science"@en ;
    .

<http://id.worldcat.org/fast/872527> # Computer software
    a schema:Intangible ;
   schema:name "Computer software"@en ;
    .

<http://viaf.org/viaf/12388489> # Robert Cori
    a schema:Person ;
   schema:familyName "Cori" ;
   schema:givenName "Robert" ;
   schema:name "Robert Cori" ;
    .

<http://viaf.org/viaf/76878652> # Martin Wirsing
    a schema:Person ;
   schema:familyName "Wirsing" ;
   schema:givenName "Martin" ;
   schema:givenName "M." ;
   schema:name "Martin Wirsing" ;
    .

<http://worldcat.org/isbn/9783540481904>
    a schema:ProductModel ;
   schema:isbn "3540481907" ;
   schema:isbn "9783540481904" ;
    .

<http://worldcat.org/issn/0302-9743> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/827359624> ; # STACS 88 : 5th Annual Symposium on Theoretical Aspects of Computer Science Bordeaux, France, February 11-13, 1988 Proceedings
   schema:issn "0302-9743" ;
   schema:name "Lecture notes in computer science ;" ;
   schema:name "Lecture Notes in Computer Science," ;
    .

<http://www.worldcat.org/oclc/17481917>
    a schema:CreativeWork ;
   rdfs:label "STACS 88" ;
   schema:description "Print version:" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/827359624> ; # STACS 88 : 5th Annual Symposium on Theoretical Aspects of Computer Science Bordeaux, France, February 11-13, 1988 Proceedings
    .

<http://www.worldcat.org/title/-/oclc/827359624>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/827359624> ; # STACS 88 : 5th Annual Symposium on Theoretical Aspects of Computer Science Bordeaux, France, February 11-13, 1988 Proceedings
   schema:dateModified "2017-01-18" ;
   void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.