skip to content
Automata, languages, and programming : ninth colloquium, Aarhus, Denmark, July 12-16, 1982 Preview this item
ClosePreview this item
Checking...

Automata, languages, and programming : ninth colloquium, Aarhus, Denmark, July 12-16, 1982

Author: M Nielsen; E M Schmidt; European Association for Theoretical Computer Science.
Publisher: Berlin ; New York : Springer-Verlag, 1982.
Series: Lecture notes in computer science, 140.
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 online

Links to this item

Find a copy in the library

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

Details

Genre/Form: Kongreß
Conference papers and proceedings
Århus (1982)
Congresses
Congrès
Additional Physical Format: Online version:
International Colloquium on Automata, Languages, and Programming (9th : 1982 : Århus, Denmark).
Automata, languages, and programming.
Berlin ; New York : Springer-Verlag, 1982
(OCoLC)707452365
Material Type: Conference publication, Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: M Nielsen; E M Schmidt; European Association for Theoretical Computer Science.
ISBN: 0387115765 9780387115764 3540115765 9783540115762
OCLC Number: 8666926
Notes: Sponsored by European Association for Theoretical Computer Science.
Description: vii, 613 pages : illustrations ; 25 cm.
Contents: Locality in modular systems.- On-the-fly garbage collection: New algorithms inspired by program proofs.- Algebraic specifications for parametrized data types with minimal parameter and target algebras.- A modification of the ?-calculus as a base for functional programming languages.- On the power of nondeterminism in dynamic logic.- Equivalence and membership problems for regular trace languages.- On the power of chain rules in context free grammars.- Extended Chomsky-Schutzenberger theorems.- Real time agents.- Machine inductive inference and language identification.- Approximations of infinitary objects.- On test sets and the Ehrenfeucht conjecture.- An automata-theoretic characterization of the OI-hierarchy.- Fast detection of polyhedral intersections.- On reversal-bounded counter machines and on pushdown automata with a bound on the size of the pushdown store.- Multihead finite state automata am concatenation.- Conditions enforcing regularity of context-free languages.- Repetitions in homomorphisms and languages.- Parameter passing commutes with implementation of parameterized data types.- An operational semantics for pure dataflow.- Some properties of D-continuous causal nets.- A branching process arising in dynamic hashing, trie searching and polynomial factorization.- A sound and complete HOARE axiomatization of the ADA-rendezvous.- Universal realization, persistent interconnection and implementation of abstract modules.- Heaps on heaps.- A boundary of isomorphism completeness in the lattice of semigroup pseudovarieties.- Derived Pairs, overlap closures, and rewrite dominoes: New tools for analyzing term rewriting systems.- A programming language for the inductive sets, and applications.- A lower bound for the formula size of rational functions.- On the equivalence problem for binary DOL systems.- Results on the propositional ?-calculus.- An iteration theorem for simple precedence languages.- The power of non-rectilinear holes.- Fixed-point semantics for algebraic (tree) grammars.- Completing biprefix codes.- Advances in pebbling.- A powerdomain for countable non-determinism.- Properties of a notation for combining functions.- On the power of probabilistic choice in synchronous parallel computations.- Biprefix codes and semisimple algebras.- Algorithmic theories of data structures.- Implementation of parameterised specifications.- Algebraic semantics of recursive flowchart schemes.- The complexity of promise problems.- Global and local invariants in transition systems.- On relativization and the existence of complete sets.- Semantics of interference control.- Efficient simulations of multicounter machines.- Event structure semantics for CCS and related languages.- Domains for denotational semantics.
Series Title: Lecture notes in computer science, 140.
Responsibility: edited by M. Nielsen and E.M. Schmidt.

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/8666926> # Automata, languages, and programming : ninth colloquium, Aarhus, Denmark, July 12-16, 1982
    a schema:Book, schema:CreativeWork ;
    library:oclcnum "8666926" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/3857291498#Place/berlin> ; # Berlin
    library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/3857291498#Topic/kongress> ; # Kongreß
    schema:about <http://experiment.worldcat.org/entity/work/data/3857291498#Topic/langages_de_programmation> ; # Langages de programmation
    schema:about <http://experiment.worldcat.org/entity/work/data/3857291498#Topic/formal_languages> ; # Formal languages
    schema:about <http://experiment.worldcat.org/entity/work/data/3857291498#Topic/langages_formels_congres> ; # Langages formels--Congrès
    schema:about <http://experiment.worldcat.org/entity/work/data/3857291498#Topic/automates_mathematiques_theorie_des> ; # Automates mathématiques, Théorie des
    schema:about <http://experiment.worldcat.org/entity/work/data/3857291498#Topic/machine_theory_congresses> ; # Machine theory--Congresses
    schema:about <http://experiment.worldcat.org/entity/work/data/3857291498#Topic/combinatoire> ; # combinatoire
    schema:about <http://experiment.worldcat.org/entity/work/data/3857291498#Topic/logique_programmation> ; # logique programmation
    schema:about <http://experiment.worldcat.org/entity/work/data/3857291498#Topic/automates_mathematiques_theorie_des_congres> ; # Automates mathématiques, théorie des--Congrès
    schema:about <http://dewey.info/class/519.4/e19/> ;
    schema:about <http://id.worldcat.org/fast/1004846> ; # Machine theory
    schema:about <http://id.worldcat.org/fast/1078704> ; # Programming languages (Electronic computers)
    schema:about <http://id.worldcat.org/fast/932922> ; # Formal languages
    schema:about <http://experiment.worldcat.org/entity/work/data/3857291498#Topic/formal_languages_congresses> ; # Formal languages--Congresses
    schema:about <http://experiment.worldcat.org/entity/work/data/3857291498#Topic/programmiersprache> ; # Programmiersprache
    schema:about <http://experiment.worldcat.org/entity/work/data/3857291498#Topic/langages_formels> ; # Langages formels
    schema:about <http://experiment.worldcat.org/entity/work/data/3857291498#Topic/programming_languages_electronic_computers_congresses> ; # Programming languages (Electronic computers)--Congresses
    schema:about <http://experiment.worldcat.org/entity/work/data/3857291498#Topic/machine_theory> ; # Machine theory
    schema:about <http://experiment.worldcat.org/entity/work/data/3857291498#Topic/automate> ; # automate
    schema:about <http://experiment.worldcat.org/entity/work/data/3857291498#Topic/langages_de_programmation_congres> ; # Langages de programmation--Congrès
    schema:about <http://experiment.worldcat.org/entity/work/data/3857291498#Topic/grammaire_langage> ; # grammaire langage
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://experiment.worldcat.org/entity/work/data/3857291498#Organization/european_association_for_theoretical_computer_science> ; # European Association for Theoretical Computer Science.
    schema:contributor <http://experiment.worldcat.org/entity/work/data/3857291498#Person/nielsen_m_mogens_1949> ; # Mogens Nielsen
    schema:contributor <http://viaf.org/viaf/94769313> ; # Erik Meineche Schmidt
    schema:creator <http://experiment.worldcat.org/entity/work/data/3857291498#Meeting/international_colloquium_on_automata_languages_and_programming_9th_1982_arhus_denmark> ; # International Colloquium on Automata, Languages, and Programming (9th : 1982 : Århus, Denmark)
    schema:datePublished "1982" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/3857291498> ;
    schema:genre "Conference publication"@en ;
    schema:genre "Conference papers and proceedings"@en ;
    schema:genre "Kongreß"@en ;
    schema:genre "Århus (1982)"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/3857291498#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/707452365> ;
    schema:name "Automata, languages, and programming : ninth colloquium, Aarhus, Denmark, July 12-16, 1982"@en ;
    schema:productID "8666926" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/8666926#PublicationEvent/berlin_new_york_springer_verlag_1982> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/3857291498#Agent/springer_verlag> ; # Springer-Verlag
    schema:url <http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=140> ;
    schema:url <http://dx.doi.org/10.1007/BFb0012751> ;
    schema:workExample <http://worldcat.org/isbn/9783540115762> ;
    schema:workExample <http://worldcat.org/isbn/9780387115764> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/8666926> ;
    .


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

<http://experiment.worldcat.org/entity/work/data/3857291498#Meeting/international_colloquium_on_automata_languages_and_programming_9th_1982_arhus_denmark> # International Colloquium on Automata, Languages, and Programming (9th : 1982 : Århus, Denmark)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/3857291498#Place/arhus_denmark> ; # Århus, Denmark)
    schema:name "International Colloquium on Automata, Languages, and Programming (9th : 1982 : Århus, Denmark)" ;
    .

<http://experiment.worldcat.org/entity/work/data/3857291498#Organization/european_association_for_theoretical_computer_science> # European Association for Theoretical Computer Science.
    a schema:Organization ;
    schema:name "European Association for Theoretical Computer Science." ;
    .

<http://experiment.worldcat.org/entity/work/data/3857291498#Person/nielsen_m_mogens_1949> # Mogens Nielsen
    a schema:Person ;
    schema:birthDate "1949" ;
    schema:familyName "Nielsen" ;
    schema:givenName "Mogens" ;
    schema:givenName "M." ;
    schema:name "Mogens Nielsen" ;
    .

<http://experiment.worldcat.org/entity/work/data/3857291498#Place/arhus_denmark> # Århus, Denmark)
    a schema:Place ;
    schema:name "Århus, Denmark)" ;
    .

<http://experiment.worldcat.org/entity/work/data/3857291498#Series/lecture_notes_in_computer_science> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/8666926> ; # Automata, languages, and programming : ninth colloquium, Aarhus, Denmark, July 12-16, 1982
    schema:name "Lecture notes in computer science ;" ;
    .

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

<http://experiment.worldcat.org/entity/work/data/3857291498#Topic/automates_mathematiques_theorie_des_congres> # Automates mathématiques, théorie des--Congrès
    a schema:Intangible ;
    schema:name "Automates mathématiques, théorie des--Congrès"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/3857291498#Topic/formal_languages_congresses> # Formal languages--Congresses
    a schema:Intangible ;
    schema:name "Formal languages--Congresses"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/3857291498#Topic/grammaire_langage> # grammaire langage
    a schema:Intangible ;
    schema:name "grammaire langage"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/3857291498#Topic/langages_de_programmation> # Langages de programmation
    a schema:Intangible ;
    schema:name "Langages de programmation"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/3857291498#Topic/langages_de_programmation_congres> # Langages de programmation--Congrès
    a schema:Intangible ;
    schema:name "Langages de programmation--Congrès"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/3857291498#Topic/langages_formels_congres> # Langages formels--Congrès
    a schema:Intangible ;
    schema:name "Langages formels--Congrès"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/3857291498#Topic/logique_programmation> # logique programmation
    a schema:Intangible ;
    schema:name "logique programmation"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/3857291498#Topic/machine_theory_congresses> # Machine theory--Congresses
    a schema:Intangible ;
    schema:name "Machine theory--Congresses"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/3857291498#Topic/programmiersprache> # Programmiersprache
    a schema:Intangible ;
    schema:name "Programmiersprache"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/3857291498#Topic/programming_languages_electronic_computers_congresses> # Programming languages (Electronic computers)--Congresses
    a schema:Intangible ;
    schema:name "Programming languages (Electronic computers)--Congresses"@en ;
    .

<http://id.worldcat.org/fast/1004846> # Machine theory
    a schema:Intangible ;
    schema:name "Machine theory"@en ;
    .

<http://id.worldcat.org/fast/1078704> # Programming languages (Electronic computers)
    a schema:Intangible ;
    schema:name "Programming languages (Electronic computers)"@en ;
    .

<http://id.worldcat.org/fast/932922> # Formal languages
    a schema:Intangible ;
    schema:name "Formal languages"@en ;
    .

<http://viaf.org/viaf/94769313> # Erik Meineche Schmidt
    a schema:Person ;
    schema:birthDate "1945" ;
    schema:familyName "Schmidt" ;
    schema:givenName "Erik Meineche" ;
    schema:givenName "E. M." ;
    schema:name "Erik Meineche Schmidt" ;
    .

<http://worldcat.org/isbn/9780387115764>
    a schema:ProductModel ;
    schema:isbn "0387115765" ;
    schema:isbn "9780387115764" ;
    .

<http://worldcat.org/isbn/9783540115762>
    a schema:ProductModel ;
    schema:isbn "3540115765" ;
    schema:isbn "9783540115762" ;
    .

<http://www.worldcat.org/oclc/707452365>
    a schema:CreativeWork ;
    rdfs:label "Automata, languages, and programming." ;
    schema:description "Online version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/8666926> ; # Automata, languages, and programming : ninth colloquium, Aarhus, Denmark, July 12-16, 1982
    .

<http://www.worldcat.org/title/-/oclc/8666926>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/8666926> ; # Automata, languages, and programming : ninth colloquium, Aarhus, Denmark, July 12-16, 1982
    schema:dateModified "2016-09-13" ;
    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.