skip to content
STACS 86 : 3rd Annual Symposium on Theoretical Aspects of Computer Science, Orsay, France, January 16-18, 1986 Preview this item
ClosePreview this item
Checking...

STACS 86 : 3rd Annual Symposium on Theoretical Aspects of Computer Science, Orsay, France, January 16-18, 1986

Author: B Monien; G Vidal-Naquet; Gesellschaft für Informatik.; Association française des sciences et techniques de l'information, de l'organisation et des systèmes.
Publisher: Berlin ; New York : Springer-Verlag, ©1986.
Series: Lecture notes in computer science, 210.
Edition/Format:   Print book : Conference publication : EnglishView all editions and formats
Database:WorldCat
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: Conference proceedings
Congresses
Congrès
Additional Physical Format: Online version:
Symposium on Theoretical Aspects of Computer Science (3rd : 1986 : Orsay, France)
STACS 86.
Berlin ; New York : Springer-Verlag, ©1986
(OCoLC)908773520
Material Type: Conference publication
Document Type: Book
All Authors / Contributors: B Monien; G Vidal-Naquet; Gesellschaft für Informatik.; Association française des sciences et techniques de l'information, de l'organisation et des systèmes.
ISBN: 0387160787 9780387160788 3540160787 9783540160786
OCLC Number: 13332173
Notes: "Organized jointly by the special interest group for theoretical computer science of the Gesellschaft für Informatik (G.I.) and the special interest group for applied mathematic[s] of the Association française des sciences et techniques de l'information, de l'organisation et des systèmes (AFCET)"--Foreword.
English and French.
Description: ix, 368 pages : illustrations ; 25 cm.
Contents: Abstract interpretation of denotational definitions.- Temporal reasoning under generalized fairness constraints.- Decidabilite de l'egalite des Langages Algebriques Infinitaires Simples.- Some probabilistic powerdomains in the category SFP.- Ions and local definitions in logic programming.- Input sensitive, optimal parallel randomized algorithms for addition and identification.- A parallel statistical cooling algorithm.- Subgraph isomorphism for biconnected outerplanar graphs in cubic time.- Polynomial time algorithms for finding integer relations among real numbers.- New upperbounds for decentralized extrema-finding in a ring of processors.- Algorithms for visibility representations of planar graphs.- Speeding up random access machines by few processors.- Efficient algorithms for finding minimum spanning forests of hierarchically defined graphs.- On sparseness, ambiguity and other decision problems for acceptors and transducers.- Varietes de Semis Groupes et Mots Infinis.- Equations in free partially commutative monoids.- Separating and testing.- Decomposition de Fonctions Rationnelles.- Long unavoidable patterns.- Abstract implementations and correctness proofs.- Strictness and serializability.- Towards specification and proof of asynchronous systems.- Monotone boolean formulas, distributive lattices, and the complexities of logics, algebraic structures, and computation structures (preliminary report).- Concurrent conciseness of degree, probabilistic, nondeterministic and deterministic finite automata.- Logspace hierarchies, polynomial time and the complexity of fairness problems concerning ?-machines.- On sparse oracles separating feasible complexity classes.- On generalized kolmogorov complexity.- Area-time optimal division for T=?((logn)1+? ).- A time-space tradeoff for element distinctness.- Parallel machines and their communication theoretical limits.
Series Title: Lecture notes in computer science, 210.
Responsibility: edited by B. Monien and G. Vidal-Naquet.
More information:

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/13332173> # STACS 86 : 3rd Annual Symposium on Theoretical Aspects of Computer Science, Orsay, France, January 16-18, 1986
    a schema:CreativeWork, schema:Book ;
    library:oclcnum "13332173" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/1102745615#Place/berlin> ; # Berlin
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
    schema:about <http://experiment.worldcat.org/entity/work/data/1102745615#Topic/ordinateurs_congres> ; # Ordinateurs--Congrès
    schema:about <http://dewey.info/class/004/e19/> ;
    schema:about <http://id.worldcat.org/fast/906956> ; # Electronic data processing
    schema:about <http://experiment.worldcat.org/entity/work/data/1102745615#Topic/electronic_data_processing> ; # Electronic data processing
    schema:about <http://experiment.worldcat.org/entity/work/data/1102745615#Topic/informatique_congres> ; # Informatique--Congrès
    schema:about <http://experiment.worldcat.org/entity/work/data/1102745615#Topic/algorithme> ; # algorithme
    schema:about <http://experiment.worldcat.org/entity/work/data/1102745615#Topic/parallelisme> ; # parallélisme
    schema:about <http://experiment.worldcat.org/entity/work/data/1102745615#Topic/graphe> ; # graphe
    schema:about <http://experiment.worldcat.org/entity/work/data/1102745615#Topic/informatique_theorique> ; # informatique théorique
    schema:about <http://experiment.worldcat.org/entity/work/data/1102745615#Topic/computers> ; # Computers
    schema:about <http://experiment.worldcat.org/entity/work/data/1102745615#Topic/ordinateurs> ; # Ordinateurs
    schema:about <http://id.worldcat.org/fast/872776> ; # Computers
    schema:about <http://experiment.worldcat.org/entity/work/data/1102745615#Topic/informatique> ; # Informatique
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://viaf.org/viaf/158920764> ; # Gesellschaft für Informatik.
    schema:contributor <http://viaf.org/viaf/151346150> ; # Association française des sciences et techniques de l'information, de l'organisation et des systèmes.
    schema:contributor <http://viaf.org/viaf/72600866> ; # B. Monien
    schema:contributor <http://viaf.org/viaf/48223988> ; # G. Vidal-Naquet
    schema:copyrightYear "1986" ;
    schema:creator <http://experiment.worldcat.org/entity/work/data/1102745615#Meeting/symposium_on_theoretical_aspects_of_computer_science_3rd_1986_orsay_france> ; # Symposium on Theoretical Aspects of Computer Science (3rd : 1986 : Orsay, France)
    schema:datePublished "1986" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/1102745615> ;
    schema:genre "Conference proceedings"@en ;
    schema:genre "Conference publication"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/1102745615#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/908773520> ;
    schema:name "STACS 86 : 3rd Annual Symposium on Theoretical Aspects of Computer Science, Orsay, France, January 16-18, 1986"@en ;
    schema:productID "13332173" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/13332173#PublicationEvent/berlin_new_york_springer_verlag_1986> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/1102745615#Agent/springer_verlag> ; # Springer-Verlag
    schema:workExample <http://worldcat.org/isbn/9780387160788> ;
    schema:workExample <http://worldcat.org/isbn/9783540160786> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/13332173> ;
    .


Related Entities

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
    schema:name "New York" ;
    .

<http://experiment.worldcat.org/entity/work/data/1102745615#Agent/springer_verlag> # Springer-Verlag
    a bgn:Agent ;
    schema:name "Springer-Verlag" ;
    .

<http://experiment.worldcat.org/entity/work/data/1102745615#Meeting/symposium_on_theoretical_aspects_of_computer_science_3rd_1986_orsay_france> # Symposium on Theoretical Aspects of Computer Science (3rd : 1986 : Orsay, France)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/1102745615#Place/orsay_france> ; # Orsay, France)
    schema:name "Symposium on Theoretical Aspects of Computer Science (3rd : 1986 : Orsay, France)" ;
    .

<http://experiment.worldcat.org/entity/work/data/1102745615#Place/orsay_france> # Orsay, France)
    a schema:Place ;
    schema:name "Orsay, France)" ;
    .

<http://experiment.worldcat.org/entity/work/data/1102745615#Series/lecture_notes_in_computer_science> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/13332173> ; # STACS 86 : 3rd Annual Symposium on Theoretical Aspects of Computer Science, Orsay, France, January 16-18, 1986
    schema:name "Lecture notes in computer science ;" ;
    .

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

<http://experiment.worldcat.org/entity/work/data/1102745615#Topic/informatique_theorique> # informatique théorique
    a schema:Intangible ;
    schema:name "informatique théorique"@en ;
    .

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

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

<http://id.worldcat.org/fast/906956> # Electronic data processing
    a schema:Intangible ;
    schema:name "Electronic data processing"@en ;
    .

<http://viaf.org/viaf/151346150> # Association française des sciences et techniques de l'information, de l'organisation et des systèmes.
    a schema:Organization ;
    schema:name "Association française des sciences et techniques de l'information, de l'organisation et des systèmes." ;
    .

<http://viaf.org/viaf/158920764> # Gesellschaft für Informatik.
    a schema:Organization ;
    schema:name "Gesellschaft für Informatik." ;
    .

<http://viaf.org/viaf/48223988> # G. Vidal-Naquet
    a schema:Person ;
    schema:familyName "Vidal-Naquet" ;
    schema:givenName "G." ;
    schema:name "G. Vidal-Naquet" ;
    .

<http://viaf.org/viaf/72600866> # B. Monien
    a schema:Person ;
    schema:familyName "Monien" ;
    schema:givenName "B." ;
    schema:name "B. Monien" ;
    .

<http://worldcat.org/isbn/9780387160788>
    a schema:ProductModel ;
    schema:bookFormat schema:Paperback ;
    schema:isbn "0387160787" ;
    schema:isbn "9780387160788" ;
    .

<http://worldcat.org/isbn/9783540160786>
    a schema:ProductModel ;
    schema:isbn "3540160787" ;
    schema:isbn "9783540160786" ;
    .

<http://www.worldcat.org/oclc/908773520>
    a schema:CreativeWork ;
    rdfs:label "STACS 86." ;
    schema:description "Online version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/13332173> ; # STACS 86 : 3rd Annual Symposium on Theoretical Aspects of Computer Science, Orsay, France, January 16-18, 1986
    .

<http://www.worldcat.org/title/-/oclc/13332173>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/13332173> ; # STACS 86 : 3rd Annual Symposium on Theoretical Aspects of Computer Science, Orsay, France, January 16-18, 1986
    schema:dateModified "2015-05-12" ;
    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.