skip to content
Automata, Languages and Programming : 16th International Colloquium Stresa, Italy, July 11-15, 1989 Proceedings Preview this item
ClosePreview this item
Checking...

Automata, Languages and Programming : 16th International Colloquium Stresa, Italy, July 11-15, 1989 Proceedings

Author: G Ausiello; M Dezani-Ciancaglini; Simonetta Ronchi Rocca
Publisher: Berlin, Heidelberg : Springer-Verlag, 1989.
Series: Lecture notes in computer science, 372.
Edition/Format:   eBook : Document : EnglishView all editions and formats
Database:WorldCat
Summary:
This volume contains the proceedings of ICALP 89, held at Stresa, Italy, July 11-15, 1989. ICALP 89 is the 16th International Colloquium on Automata, Languages and Programming in a series of meetings sponsored by the European Association for Theoretical Computer Science (EATCS). It is a broadly based conference covering all aspects of theoretical computer science including topics such as computability, automata  Read more...
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: Electronic books
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: G Ausiello; M Dezani-Ciancaglini; Simonetta Ronchi Rocca
ISBN: 9783540462019 3540462015
OCLC Number: 827358653
Description: 1 online resource : v.: digital.
Contents: Realizable and unrealizable specifications of reactive systems --
Limitations of the upward separation technique (preliminary version) --
Lower bounds for the low hierarchy --
Efficient text searching of regular expressions --
Factors of words --
Asymptotically optimal distributed consensus --
Time lower bounds for CREW-PRAM computation of monotone functions --
Subduing self-application --
Everything in NP can be argued in perfect zero-knowledge in a bounded number of rounds --
Polymorphic rewriting conserves algebraic strong normalization and confluence --
Completion of finite codes with finite deciphering delay --
Relational semantics for recursive types and bounded quantification --
A singly-exponential stratification scheme for real semi-algebraic varieties and its applications --
About primitive recursive algorithms --
The definability of equational graphs in monadic second-order logic --
Dominoes and the regularity of DNA splicing languages --
Causal trees --
Infinite normal forms --
On recent trends in algebraic specification --
Automata with storage on infinite words --
Parallel algorithmic techniques for combinatorial computation --
On dice and coins: models of computation for random generation --
An optimal probabilistic algorithm for synchronous Byzantine agreement --
Finding triconnected components by local replacements --
An improved algorithm for approximate string matching --
A pointer-free data structure for merging heaps and min-max heaps --
Structured operational semantics and bisimulation as a congruence --
Parallel retrieval of scattered information --
Tensor rank is NP-complete --
The complexity of nonlinear separable optimization --
General methods for the analysis of the maximum size of dynamic data structures --
How to share concurrent asynchronous wait-free variables --
A new approach to formal language theory by kolmogorov complexity --
Dynamic algorithms in D.E. Knuth's model: A probabilistic analysis --
Completing the temporal picture --
Lower bounds for computations with the floor operation --
Programming, transforming, and proving with function abstractions and memories --
Automata theory meets circuit complexity --
Two versus one index register and modifiable versus non-modifiable programs --
Shortest paths without a map --
Modular system design applying graph grammars techniques --
Partial communations --
On the synthesis of an asynchronous reactive module --
The complexity of controlled selection --
Memory versus randomization in on-line algorithms --
Syntactic control of interference Part 2 --
Characteristic formulae --
A combinatorial technique for separating counting complexity classes --
Horn programs and semicomputable relations on abstract structures --
A note on model checking the modal v-calculus --
DI-domains as information systems.
Series Title: Lecture notes in computer science, 372.
Responsibility: edited by Giorgio Ausiello, Mariangiola Dezani-Ciancaglini, Simonetta Ronchi Rocca.

Abstract:

This volume contains the proceedings of ICALP 89, held at Stresa, Italy, July 11-15, 1989. ICALP 89 is the 16th International Colloquium on Automata, Languages and Programming in a series of meetings sponsored by the European Association for Theoretical Computer Science (EATCS). It is a broadly based conference covering all aspects of theoretical computer science including topics such as computability, automata theory, formal language theory, analysis of algorithms, computational complexity, mathematical aspects of programming language definition, logic and semantics of programming languages, foundations of logic programming, theorem proving, software specification, computational geometry, data types and data structures, theory of data bases and knowledge based systems, cryptography, VLSI structures, parallel and distributed computing, models of concurrency and robotics.

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/827358653> # Automata, Languages and Programming : 16th International Colloquium Stresa, Italy, July 11-15, 1989 Proceedings
    a schema:CreativeWork, schema:MediaObject, schema:Book ;
    library:oclcnum "827358653" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/3856318655#Place/berlin_heidelberg> ; # Berlin, Heidelberg
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    schema:about <http://id.worldcat.org/fast/872451> ; # Computer science
    schema:about <http://experiment.worldcat.org/entity/work/data/3856318655#Topic/computation_by_abstract_devices> ; # Computation by Abstract Devices
    schema:about <http://experiment.worldcat.org/entity/work/data/3856318655#Topic/mathematical_logic_and_formal_languages> ; # Mathematical Logic and Formal Languages
    schema:about <http://id.worldcat.org/fast/872527> ; # Computer software
    schema:about <http://experiment.worldcat.org/entity/work/data/3856318655#Topic/logics_and_meanings_of_programs> ; # Logics and Meanings of Programs
    schema:about <http://dewey.info/class/005.131/e23/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/3856318655#Topic/algorithm_analysis_and_problem_complexity> ; # Algorithm Analysis and Problem Complexity
    schema:about <http://id.worldcat.org/fast/868961> ; # Combinatorial analysis
    schema:about <http://id.worldcat.org/fast/1002045> ; # Logic design
    schema:about <http://experiment.worldcat.org/entity/work/data/3856318655#Topic/computer_science> ; # Computer Science
    schema:about <http://experiment.worldcat.org/entity/work/data/3856318655#Topic/processor_architectures> ; # Processor Architectures
    schema:bookFormat schema:EBook ;
    schema:contributor <http://viaf.org/viaf/94829045> ; # Mariangiola Dezani-Ciancaglini
    schema:contributor <http://experiment.worldcat.org/entity/work/data/3856318655#Person/rocca_simonetta_ronchi> ; # Simonetta Ronchi Rocca
    schema:creator <http://viaf.org/viaf/108132094> ; # Giorgio Ausiello
    schema:datePublished "1989" ;
    schema:description "This volume contains the proceedings of ICALP 89, held at Stresa, Italy, July 11-15, 1989. ICALP 89 is the 16th International Colloquium on Automata, Languages and Programming in a series of meetings sponsored by the European Association for Theoretical Computer Science (EATCS). It is a broadly based conference covering all aspects of theoretical computer science including topics such as computability, automata theory, formal language theory, analysis of algorithms, computational complexity, mathematical aspects of programming language definition, logic and semantics of programming languages, foundations of logic programming, theorem proving, software specification, computational geometry, data types and data structures, theory of data bases and knowledge based systems, cryptography, VLSI structures, parallel and distributed computing, models of concurrency and robotics."@en ;
    schema:description "Realizable and unrealizable specifications of reactive systems -- Limitations of the upward separation technique (preliminary version) -- Lower bounds for the low hierarchy -- Efficient text searching of regular expressions -- Factors of words -- Asymptotically optimal distributed consensus -- Time lower bounds for CREW-PRAM computation of monotone functions -- Subduing self-application -- Everything in NP can be argued in perfect zero-knowledge in a bounded number of rounds -- Polymorphic rewriting conserves algebraic strong normalization and confluence -- Completion of finite codes with finite deciphering delay -- Relational semantics for recursive types and bounded quantification -- A singly-exponential stratification scheme for real semi-algebraic varieties and its applications -- About primitive recursive algorithms -- The definability of equational graphs in monadic second-order logic -- Dominoes and the regularity of DNA splicing languages -- Causal trees -- Infinite normal forms -- On recent trends in algebraic specification -- Automata with storage on infinite words -- Parallel algorithmic techniques for combinatorial computation -- On dice and coins: models of computation for random generation -- An optimal probabilistic algorithm for synchronous Byzantine agreement -- Finding triconnected components by local replacements -- An improved algorithm for approximate string matching -- A pointer-free data structure for merging heaps and min-max heaps -- Structured operational semantics and bisimulation as a congruence -- Parallel retrieval of scattered information -- Tensor rank is NP-complete -- The complexity of nonlinear separable optimization -- General methods for the analysis of the maximum size of dynamic data structures -- How to share concurrent asynchronous wait-free variables -- A new approach to formal language theory by kolmogorov complexity -- Dynamic algorithms in D.E. Knuth's model: A probabilistic analysis -- Completing the temporal picture -- Lower bounds for computations with the floor operation -- Programming, transforming, and proving with function abstractions and memories -- Automata theory meets circuit complexity -- Two versus one index register and modifiable versus non-modifiable programs -- Shortest paths without a map -- Modular system design applying graph grammars techniques -- Partial communations -- On the synthesis of an asynchronous reactive module -- The complexity of controlled selection -- Memory versus randomization in on-line algorithms -- Syntactic control of interference Part 2 -- Characteristic formulae -- A combinatorial technique for separating counting complexity classes -- Horn programs and semicomputable relations on abstract structures -- A note on model checking the modal v-calculus -- DI-domains as information systems."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/3856318655> ;
    schema:genre "Electronic books"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://worldcat.org/issn/0302-9743> ; # Lecture notes in computer science ;
    schema:name "Automata, Languages and Programming : 16th International Colloquium Stresa, Italy, July 11-15, 1989 Proceedings"@en ;
    schema:productID "827358653" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/827358653#PublicationEvent/berlin_heidelberg_springer_verlag_1989> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/3856318655#Agent/springer_verlag> ; # Springer-Verlag
    schema:url <http://dx.doi.org/10.1007/BFb0035746> ;
    schema:workExample <http://worldcat.org/isbn/9783540462019> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/827358653> ;
    .


Related Entities

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

<http://experiment.worldcat.org/entity/work/data/3856318655#Person/rocca_simonetta_ronchi> # Simonetta Ronchi Rocca
    a schema:Person ;
    schema:familyName "Rocca" ;
    schema:givenName "Simonetta Ronchi" ;
    schema:name "Simonetta Ronchi Rocca" ;
    .

<http://experiment.worldcat.org/entity/work/data/3856318655#Place/berlin_heidelberg> # Berlin, Heidelberg
    a schema:Place ;
    schema:name "Berlin, Heidelberg" ;
    .

<http://experiment.worldcat.org/entity/work/data/3856318655#Topic/algorithm_analysis_and_problem_complexity> # Algorithm Analysis and Problem Complexity
    a schema:Intangible ;
    schema:name "Algorithm Analysis and Problem Complexity"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/3856318655#Topic/computation_by_abstract_devices> # Computation by Abstract Devices
    a schema:Intangible ;
    schema:name "Computation by Abstract Devices"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/3856318655#Topic/logics_and_meanings_of_programs> # Logics and Meanings of Programs
    a schema:Intangible ;
    schema:name "Logics and Meanings of Programs"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/3856318655#Topic/mathematical_logic_and_formal_languages> # Mathematical Logic and Formal Languages
    a schema:Intangible ;
    schema:name "Mathematical Logic and Formal Languages"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/3856318655#Topic/processor_architectures> # Processor Architectures
    a schema:Intangible ;
    schema:name "Processor Architectures"@en ;
    .

<http://id.worldcat.org/fast/1002045> # Logic design
    a schema:Intangible ;
    schema:name "Logic design"@en ;
    .

<http://id.worldcat.org/fast/868961> # Combinatorial analysis
    a schema:Intangible ;
    schema:name "Combinatorial analysis"@en ;
    .

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

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

<http://viaf.org/viaf/108132094> # Giorgio Ausiello
    a schema:Person ;
    schema:birthDate "1941" ;
    schema:familyName "Ausiello" ;
    schema:givenName "Giorgio" ;
    schema:givenName "G." ;
    schema:name "Giorgio Ausiello" ;
    .

<http://viaf.org/viaf/94829045> # Mariangiola Dezani-Ciancaglini
    a schema:Person ;
    schema:familyName "Dezani-Ciancaglini" ;
    schema:givenName "Mariangiola" ;
    schema:givenName "M." ;
    schema:name "Mariangiola Dezani-Ciancaglini" ;
    .

<http://worldcat.org/isbn/9783540462019>
    a schema:ProductModel ;
    schema:isbn "3540462015" ;
    schema:isbn "9783540462019" ;
    .

<http://worldcat.org/issn/0302-9743> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/827358653> ; # Automata, Languages and Programming : 16th International Colloquium Stresa, Italy, July 11-15, 1989 Proceedings
    schema:issn "0302-9743" ;
    schema:name "Lecture notes in computer science ;" ;
    schema:name "Lecture Notes in Computer Science," ;
    .

<http://www.worldcat.org/title/-/oclc/827358653>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/827358653> ; # Automata, Languages and Programming : 16th International Colloquium Stresa, Italy, July 11-15, 1989 Proceedings
    schema:dateModified "2016-09-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.