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
Conference proceedings
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://experiment.worldcat.org/entity/work/data/3855863075#Person/cori_robert> ; # Robert Cori
    schema:contributor <http://viaf.org/viaf/76878652> ; # Martin Wirsing
    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:genre "Conference proceedings"@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#Person/cori_robert> # Robert Cori
    a schema:Person ;
    schema:familyName "Cori" ;
    schema:givenName "Robert" ;
    schema:name "Robert Cori" ;
    .

<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/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 "2016-09-15" ;
    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.