skip to content
STACS 85 : 2nd Annual Symposium on Theoretical Aspects of Computer Science, Saarbrücken, January 3-5, 1985 Preview this item
ClosePreview this item
Checking...

STACS 85 : 2nd Annual Symposium on Theoretical Aspects of Computer Science, Saarbrücken, January 3-5, 1985

Author: Kurt Mehlhorn
Publisher: Berlin ; New York : Springer-Verlag, 1985.
Series: Lecture notes in computer science, 182.
Edition/Format:   Print book : Conference publication : EnglishView all editions and formats
Rating:

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

Subjects
More like this

Find a copy online

Links to this item

Find a copy in the library

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

Details

Genre/Form: Conference papers and proceedings
Congresses
Congrès
Additional Physical Format: Online version:
Symposium on Theoretical Aspects of Computer Science (2nd : 1985 : Saarbrücken, Germany).
STACS 85.
Berlin ; New York : Springer-Verlag, 1985
(OCoLC)613154642
Material Type: Conference publication, Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Kurt Mehlhorn
ISBN: 0387139125 9780387139128 3540139125 9783540139126
OCLC Number: 11589951
Description: vii, 374 pages : illustrations ; 24 cm.
Contents: On the relative complexity of subproblems of intractable problems.- On Lovasz' lattice reduction and the nearest lattice point problem.- Layouts with wires of balanced length.- On the single-operation worst-case time complexity of the disjoint set union problem.- Deterministic languages and non-generators.- Simulation of large networks on smaller networks.- Petri nets and algebraic calculi of processes.- Non-deterministic two-tape automata are more powerful than deterministic ones.- Construction of a family of factorizing codes.- On hotz groups and homomorphic images of sentential form languages.- Using domain algebras to prove the correctness of a compiler.- Sorting and recognition problems for ordered sets.- Tree automata and logic programs.- Structure of relations satisfying certain families of dependencies.- A single source shortest path algorithm for a planar distributed network.- An algorithm for two-layer channel routing.- New algorithms for special cases of the hidden line elimination problem.- An algorithm to construct Minkowski-reduced lattice-bases.- Base Non Finie de Varietes.- Proximity on a grid.- An O(N1.5+?) expected time algorithm for canonization and isomorphism testing of trivalent graphs.- On the complexity of deadlock recovery.- On the planar monotone computation of threshold functions.- Planar circuits have short specifications.- Shortest paths on polyhedral surfaces.- Fairness in context Free grammars under canonical derivations.- Distributed termination in CSP symmetric solutions with minimal storage.- A dynamization of the All Pairs Least Cost Path Problem.- Boundedness, empty channel detection and synchronization for communicating finite state machines.- Deriving stack semantics congruent to standard denotational semantics.- Translating polygons in the plane.- Geometric containment is not reducible to Pareto dominance.- The volume of the union of many spheres and point inclusion problems.- Combined simplicity and immunity in relativized NP.- Groups, codes and unambiguous automata.- Reduced memory space for multi-dimensional search trees (extended abstract).
Series Title: Lecture notes in computer science, 182.
Responsibility: edited by K. Mehlhorn.

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/11589951> # STACS 85 : 2nd Annual Symposium on Theoretical Aspects of Computer Science, Saarbrücken, January 3-5, 1985
    a schema:CreativeWork, schema:Book ;
    library:oclcnum "11589951" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/1104424312#Place/berlin> ; # Berlin
    library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
    schema:about <http://experiment.worldcat.org/entity/work/data/1104424312#Topic/data_processing> ; # DATA PROCESSING
    schema:about <http://id.worldcat.org/fast/872451> ; # Computer science
    schema:about <http://experiment.worldcat.org/entity/work/data/1104424312#Topic/computer_programming> ; # COMPUTER PROGRAMMING
    schema:about <http://experiment.worldcat.org/entity/work/data/1104424312#Topic/informatique> ; # Informatique
    schema:about <http://dewey.info/class/001.64/e19/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/1104424312#Topic/computer_science> ; # Computer science
    schema:about <http://experiment.worldcat.org/entity/work/data/1104424312#Topic/computers> ; # COMPUTERS
    schema:about <http://experiment.worldcat.org/entity/work/data/1104424312#Topic/informatique_congres> ; # Informatique--Congrès
    schema:about <http://experiment.worldcat.org/entity/work/data/1104424312#Topic/conferences> ; # CONFERENCES
    schema:about <http://experiment.worldcat.org/entity/work/data/1104424312#Topic/ordinateurs> ; # Ordinateurs
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://viaf.org/viaf/67022101> ; # Kurt Mehlhorn
    schema:creator <http://experiment.worldcat.org/entity/work/data/1104424312#Meeting/annual_symposium_on_theoretical_aspects_of_computer_science_2nd_1985_saarbrucken_germany> ; # Annual Symposium on Theoretical Aspects of Computer Science (2nd : 1985 : Saarbrücken, Germany)
    schema:datePublished "1985" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/1104424312> ;
    schema:genre "Conference publication"@en ;
    schema:genre "Conference papers and proceedings"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/1104424312#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/613154642> ;
    schema:name "STACS 85 : 2nd Annual Symposium on Theoretical Aspects of Computer Science, Saarbrücken, January 3-5, 1985"@en ;
    schema:productID "11589951" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/11589951#PublicationEvent/berlin_new_york_springer_verlag_1985> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/1104424312#Agent/springer_verlag> ; # Springer-Verlag
    schema:url <http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=182> ;
    schema:workExample <http://worldcat.org/isbn/9780387139128> ;
    schema:workExample <http://worldcat.org/isbn/9783540139126> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/11589951> ;
    .


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/1104424312#Agent/springer_verlag> # Springer-Verlag
    a bgn:Agent ;
    schema:name "Springer-Verlag" ;
    .

<http://experiment.worldcat.org/entity/work/data/1104424312#Meeting/annual_symposium_on_theoretical_aspects_of_computer_science_2nd_1985_saarbrucken_germany> # Annual Symposium on Theoretical Aspects of Computer Science (2nd : 1985 : Saarbrücken, Germany)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/1104424312#Place/saarbrucken_germany> ; # Saarbrücken, Germany)
    schema:name "Annual Symposium on Theoretical Aspects of Computer Science (2nd : 1985 : Saarbrücken, Germany)" ;
    .

<http://experiment.worldcat.org/entity/work/data/1104424312#Place/saarbrucken_germany> # Saarbrücken, Germany)
    a schema:Place ;
    schema:name "Saarbrücken, Germany)" ;
    .

<http://experiment.worldcat.org/entity/work/data/1104424312#Series/lecture_notes_in_computer_science> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/11589951> ; # STACS 85 : 2nd Annual Symposium on Theoretical Aspects of Computer Science, Saarbrücken, January 3-5, 1985
    schema:name "Lecture notes in computer science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/1104424312#Topic/computer_programming> # COMPUTER PROGRAMMING
    a schema:Intangible ;
    schema:name "COMPUTER PROGRAMMING"@en ;
    .

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

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

<http://viaf.org/viaf/67022101> # Kurt Mehlhorn
    a schema:Person ;
    schema:birthDate "1949" ;
    schema:familyName "Mehlhorn" ;
    schema:givenName "Kurt" ;
    schema:name "Kurt Mehlhorn" ;
    .

<http://worldcat.org/isbn/9780387139128>
    a schema:ProductModel ;
    schema:isbn "0387139125" ;
    schema:isbn "9780387139128" ;
    .

<http://worldcat.org/isbn/9783540139126>
    a schema:ProductModel ;
    schema:isbn "3540139125" ;
    schema:isbn "9783540139126" ;
    .

<http://www.worldcat.org/oclc/613154642>
    a schema:CreativeWork ;
    rdfs:label "STACS 85." ;
    schema:description "Online version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/11589951> ; # STACS 85 : 2nd Annual Symposium on Theoretical Aspects of Computer Science, Saarbrücken, January 3-5, 1985
    .

<http://www.worldcat.org/title/-/oclc/11589951>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/11589951> ; # STACS 85 : 2nd Annual Symposium on Theoretical Aspects of Computer Science, Saarbrücken, January 3-5, 1985
    schema:dateModified "2019-07-30" ;
    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.