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#Person/nielsen_m_mogens_1949> ; # Mogens Nielsen
   schema:contributor <http://viaf.org/viaf/133151241> ; # European Association for Theoretical Computer Science.
   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#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/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/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/133151241> # European Association for Theoretical Computer Science.
    a schema:Organization ;
   schema:name "European Association for Theoretical Computer Science." ;
    .

<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 "2017-01-20" ;
   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.