skip to content
Theoretical computer science : 6th GI-conference, Dortmund, January 5-7, 1983 Preview this item
ClosePreview this item
Checking...

Theoretical computer science : 6th GI-conference, Dortmund, January 5-7, 1983

Author: A B Cremers; H P Kriegel; Gesellschaft für Informatik. Special Interest Group for Automata and Formal Language Theory.
Publisher: Berlin ; New York : Springer-Verlag, 1982.
Series: Lecture notes in computer science, 145.
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
Kongresser
Additional Physical Format: Online version:
Theoretical computer science.
Berlin ; New York : Springer-Verlag, 1982
(OCoLC)610409600
Material Type: Conference publication, Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: A B Cremers; H P Kriegel; Gesellschaft für Informatik. Special Interest Group for Automata and Formal Language Theory.
ISBN: 0387119736 9780387119731 3540119736 9783540119739
OCLC Number: 9131880
Notes: Papers presented at the 6th Biannual GI Symposium on Theoretical Computer Science, held in Dortmund, Germany, Jan. 5-7, 1983, and sponsored by the Special Interest Group for Automata and Formal Language Theory of the Gesellschaft fur Informatik.
Description: x, 365 pages : illustrations ; 25 cm.
Contents: Partial functions in comstructive formal theories.- A Monte Carlo factoring algorithm with finite storage.- Theory of concurrency control.- Interprocedural data flow systems.- On the crossing-free, rectangular embedding of weighted graphs in the plane.- Discreteness, K-density and D-continuity of occurrence nets.- Controlled relativizations of P and NP.- The computational complexity of certain graph grammars.- Inconsistencies of pure LISP.- FIFO nets: A new model of parallel computation.- Une extension aux mots infinis de la notion de transduction rationnelle.- Algebraic and operational semantics of exceptions and errors.- The expected number of nodes and leaves at level k in ordered trees.- Complexity theory on real numbers and functions.- A multifit algorithm for uniform multiprocessor scheduling.- Analysis of polynomial approximation algorithms for constraint expressions.- Heuristics for minimum edge length rectangular partitions of rectilinear figures.- An axiomatic approach to semantics of specification languages.- Efficiency of universal parallel computers.- Coroutines and processes in block structured languages.- A general scheme for some deterministically parsable grammars and their strong equivalents.- A decidability result about sufficient-completeness of axiomatically specified abstract data types.- Two remarks on the power of counting.- Some operations and transductions that preserve rationality.- On algebras of computation sequences and proofs of equivalence of operational and denotational semantics.- Sur les morphismes qui engendrent des mots infinis ayant des facteurs prescrits.- The equivalence problem for N.T.S. languages is deoidable.- Weakest expressible preconditions: A new tool for proving completeness results about Hoare calculi.- A hierarchy of sets of infinite trees.- Maintaining order in a generalized linked list.- Periodic versus arbitrary tessellations of the plane using polyominos of a single type.
Series Title: Lecture notes in computer science, 145.
Responsibility: edited by A.B. Cremers and H.P. Kriegel.

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/9131880> # Theoretical computer science : 6th GI-conference, Dortmund, January 5-7, 1983
    a schema:CreativeWork, schema:Book ;
   library:oclcnum "9131880" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/792325830#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://id.worldcat.org/fast/872451> ; # Computer science
   schema:about <http://experiment.worldcat.org/entity/work/data/792325830#Topic/automates_mathematiques_theorie_des> ; # Automates mathématiques, Théorie des
   schema:about <http://experiment.worldcat.org/entity/work/data/792325830#Topic/computer_science> ; # Computer science
   schema:about <http://dewey.info/class/001.6401/e19/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/792325830#Topic/programmering> ; # Programmering
   schema:about <http://experiment.worldcat.org/entity/work/data/792325830#Topic/langages_formels> ; # Langages formels
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://viaf.org/viaf/265528580> ; # Gesellschaft für Informatik. Special Interest Group for Automata and Formal Language Theory.
   schema:contributor <http://viaf.org/viaf/271496047> ; # Armin B. Cremers
   schema:contributor <http://viaf.org/viaf/94953437> ; # Hans-Peter Kriegel
   schema:contributor <http://experiment.worldcat.org/entity/work/data/792325830#Meeting/gi_symposium_on_theoretical_computer_science_6th_1983_dortmund_germany> ; # GI Symposium on Theoretical Computer Science (6th : 1983 : Dortmund, Germany)
   schema:datePublished "1982" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/792325830> ;
   schema:genre "Conference publication"@en ;
   schema:genre "Conference papers and proceedings"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/792325830#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/610409600> ;
   schema:name "Theoretical computer science : 6th GI-conference, Dortmund, January 5-7, 1983"@en ;
   schema:productID "9131880" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/9131880#PublicationEvent/berlin_new_york_springer_verlag_1982> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/792325830#Agent/springer_verlag> ; # Springer-Verlag
   schema:url <http://swbplus.bsz-bw.de/bsz011751762cov.htm> ;
   schema:url <http://dx.doi.org/10.1007/BFb0036464> ;
   schema:url <http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=145> ;
   schema:workExample <http://worldcat.org/isbn/9783540119739> ;
   schema:workExample <http://worldcat.org/isbn/9780387119731> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/9131880> ;
    .


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

<http://experiment.worldcat.org/entity/work/data/792325830#Meeting/gi_symposium_on_theoretical_computer_science_6th_1983_dortmund_germany> # GI Symposium on Theoretical Computer Science (6th : 1983 : Dortmund, Germany)
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/792325830#Place/dortmund_germany> ; # Dortmund, Germany)
   schema:name "GI Symposium on Theoretical Computer Science (6th : 1983 : Dortmund, Germany)" ;
    .

<http://experiment.worldcat.org/entity/work/data/792325830#Place/dortmund_germany> # Dortmund, Germany)
    a schema:Place ;
   schema:name "Dortmund, Germany)" ;
    .

<http://experiment.worldcat.org/entity/work/data/792325830#Series/lecture_notes_in_computer_science> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/9131880> ; # Theoretical computer science : 6th GI-conference, Dortmund, January 5-7, 1983
   schema:name "Lecture notes in computer science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/792325830#Topic/automates_mathematiques_theorie_des> # Automates mathématiques, Théorie des
    a schema:Intangible ;
   schema:name "Automates mathématiques, Théorie des"@fr ;
    .

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

<http://viaf.org/viaf/265528580> # Gesellschaft für Informatik. Special Interest Group for Automata and Formal Language Theory.
    a schema:Organization ;
   schema:name "Gesellschaft für Informatik. Special Interest Group for Automata and Formal Language Theory." ;
    .

<http://viaf.org/viaf/271496047> # Armin B. Cremers
    a schema:Person ;
   schema:birthDate "1946" ;
   schema:familyName "Cremers" ;
   schema:givenName "Armin B." ;
   schema:givenName "A. B." ;
   schema:name "Armin B. Cremers" ;
    .

<http://viaf.org/viaf/94953437> # Hans-Peter Kriegel
    a schema:Person ;
   schema:birthDate "1948" ;
   schema:familyName "Kriegel" ;
   schema:givenName "Hans-Peter" ;
   schema:givenName "H. P." ;
   schema:name "Hans-Peter Kriegel" ;
    .

<http://worldcat.org/isbn/9780387119731>
    a schema:ProductModel ;
   schema:isbn "0387119736" ;
   schema:isbn "9780387119731" ;
    .

<http://worldcat.org/isbn/9783540119739>
    a schema:ProductModel ;
   schema:isbn "3540119736" ;
   schema:isbn "9783540119739" ;
    .

<http://www.worldcat.org/oclc/610409600>
    a schema:CreativeWork ;
   rdfs:label "Theoretical computer science." ;
   schema:description "Online version:" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/9131880> ; # Theoretical computer science : 6th GI-conference, Dortmund, January 5-7, 1983
    .

<http://www.worldcat.org/title/-/oclc/9131880>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/9131880> ; # Theoretical computer science : 6th GI-conference, Dortmund, January 5-7, 1983
   schema:dateModified "2017-12-23" ;
   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.