skip to content
Automata, languages and programming : 27th international colloquium, ICALP 2000, Geneva, Switzerland, July 9-15, 2000 : proceedings Preview this item
ClosePreview this item

Automata, languages and programming : 27th international colloquium, ICALP 2000, Geneva, Switzerland, July 9-15, 2000 : proceedings

Author: U Montanari; José D P Rolim; Emo Welzl
Publisher: Berlin ; London : Springer, ©2000.
Series: Lecture notes in computer science, 1853.
Edition/Format:   Print book : Conference publication : EnglishView all editions and formats

This book constitutes the refereed proceedings of the 27th International Colloquium on Automata, Languages and Programming, ICALP 2000, held in Geneva, Switzerland in July 2000.


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

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...


Genre/Form: Kongress
Conference papers and proceedings
Genf (2000)
Material Type: Conference publication, Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: U Montanari; José D P Rolim; Emo Welzl
ISBN: 3540677151 9783540677154
OCLC Number: 44695225
Description: xvi, 941 pages : illustrations ; 24 cm.
Contents: Invited Talk.- Game Semantics: Achievements and Prospects.- Clique Is Hard to Approximate within n 1-o(1).- Approximating the Independence Number and the Chromatic Number in Expected Polynomial Time.- Closed Types as a Simple Approach to Safe Imperative Multi-stage Programming.- A Statically Allocated Parallel Functional Language.- An Optimal Minimum Spanning Tree Algorithm.- Improved Shortest Paths on the Word RAM.- Improved Algorithms for Finding Level Ancestors in Dynamic Trees.- Lax Logical Relations.- Reasoning about Idealized ALGOL Using Regular Languages.- The Measurement Process in Domain Theory.- Invited Talk.- Graph Transformation as a Conceptual and Formal Framework for System Modeling and Model Evolution.- Monotone Proofs of the Pigeon Hole Principle.- Fully-Abstract Statecharts Semantics via Intuitionistic Kripke Models.- Algebraic Models for Contextual Nets.- Asymptotically Optimal Bounds for OBDDs and the Solution of Some Basic OBDD Problems.- Measures of Nondeterminism in Finite Automata.- LTL Is Expressively Complete for Mazurkiewicz Traces.- An Automata-Theoretic Completeness Proof for Interval Temporal Logic.- Invited Talk.- Which NP-Hard Optimization Problems Admit Non-trivial Efficient Approximation Algorithms?.- Deterministic Algorithms for k-SAT Based on Covering Codes and Local Search.- Closest Vectors, Successive Minima, and Dual HKZ-Bases of Lattices.- Variable Independence, Quantifier Elimination, and Constraint Representations.- Constraint Satisfaction Problems and Finite Algebras.- An Optimal Online Algorithm for Bounded Space Variable-Sized Bin Packing.- Resource Augmentation for Online Bounded Space Bin Packing.- Optimal Projective Algorithms for the List Update Problem.- Efficient Verification Algorithms for One-Counter Processes.- On the Complexity of Bisimulation Problems for Basic Parallel Processes.- Decidable First-Order Transition Logics for PA-Processes.- Invited Talk.- Non Interference for the Analysis of Cryptographic Protocols.- Average Bit-Complexity of Euclidean Algorithms.- Planar Maps and Airy Phenomena.- Analysing Input/Output-Capabilities of Mobile Processes with a Generic Type System.- Information Flow vs. Resource Access in the Asynchronous Pi-Calculus (Extended Abstract).- Award Talk.- The Genomics Revolution and Its Challenges for Algorithmic Research.- Invited Talk.- Alternating the Temporal Picture for Safety.- Necessary and Sufficient Assumptions for Non-interactive Zero-Knowledge Proofs of Knowledge for All NP Relations.- Fast Verification of Any Remote Procedure Call: Short Witness-Indistinguishable One-Round Proofs for NP.- A New Unfolding Approach to LTL Model Checking.- Reasoning about Message Passing in Finite State Environments.- Extended Notions of Security for Multicast Public Key Cryptosystems.- One-Round Secure Computation and Secure Autonomous Mobile Agents.- Round-Optimal and Abuse-Free Optimistic Multi-party Contract Signing.- On the Centralizer of a Finite Set.- On the Power of Tree-Walking Automata.- Determinization of Transducers over Infinite Words.- Invited Talk.- Constraint Programming and Graph Algorithms.- Scalable Secure Storage when Half the System Is Faulty.- Generating Partial and Multiple Transversals of a Hypergraph.- Revisiting the Correspondence between Cut Elimination and Normalisation.- Negation Elimination from Simple Equational Formulae.- Hardness of Set Cover with Intersection 1.- Strong Inapproximability of the Basic k-Spanner Problem.- Infinite Series-Parallel Posets: Logic and Languages.- On Deciding if Deterministic Rabin Language Is in Buchi Class.- On Message Sequence Graphs and Finitely Generated Regular MSC Languages.- Invited Talk.- Pseudorandomness.- A Bound on the Capacity of Backoff and Acknowledgement-Based Protocols.- Deterministic Radio Broadcasting.- An ?-Complete Equational Specification of Interleaving.- A Complete Axiomatization for Observational Congruence of Prioritized Finite-State Behaviors.- Tight Size Bounds for Packet Headers in Narrow Meshes.- Wavelength Assignment Problem on All-Optical Networks with k Fibres per Link.- On the Logical Characterisation of Performability Properties.- On the Representation of Timed Polyhedra.- Invited Talk.- Min-wise Independent Permutations: Theory and Practice.- Testing Acyclicity of Directed Graphs in Sublinear Time.- Computing the Girth of a Planar Graph.- Lower Bounds Are Not Easier over the Reals: Inside PH.- Unlearning Helps.- Fast Approximation Schemes for Euclidean Multi-connectivity Problems.- Approximate TSP in Graphs with Forbidden Minors.- Polynomial Time Approximation Schemes for General Multiprocessor Job Shop Scheduling.- The Many Faces of a Translation.- Gales and the Constructive Dimension of Individual Sequences.- The Global Power of Additional Queries to p-Random Oracles.- Homogenization and the Polynomial Calculus.
Series Title: Lecture notes in computer science, 1853.
Responsibility: Ugo Montanari, José D.P. Rolim, Emo Welzl (eds.).


User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...


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

<> # Automata, languages and programming : 27th international colloquium, ICALP 2000, Geneva, Switzerland, July 9-15, 2000 : proceedings
    a schema:Book, schema:CreativeWork ;
    library:oclcnum "44695225" ;
    library:placeOfPublication <> ; # London
    library:placeOfPublication <> ;
    library:placeOfPublication <> ; # Berlin
    schema:about <> ; # Computer science--Mathematics
    schema:about <> ;
    schema:about <> ; # Abstracte automaten
    schema:about <> ; # Theoretische Informatik--Genf <2000>
    schema:about <> ; # Ordinateurs--Programmation--Congrès
    schema:about <> ; # Theoretische Informatik
    schema:about <> ; # Informatique--Mathématiques--Congrès
    schema:about <> ; # Machine theory
    schema:about <> ; # Machine theory
    schema:about <> ; # Programmeertalen
    schema:about <> ; # Langages formels--Congrès
    schema:about <> ; # Automates mathématiques, Théorie des--Congrès
    schema:about <> ; # Langages de programmation--Congrès
    schema:about <> ; # Computer science--Mathematics
    schema:about <> ; # Programming languages (Electronic computers)
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <> ; # Ugo Montanari
    schema:contributor <> ; # Emo Welzl
    schema:contributor <> ; # José D. P. Rolim
    schema:copyrightYear "2000" ;
    schema:creator <> ; # ICALP 2000 (Conference) (2000 : Geneva, Switzerland)
    schema:datePublished "2000" ;
    schema:exampleOfWork <> ;
    schema:genre "Genf (2000)"@en ;
    schema:genre "Kongress"@en ;
    schema:genre "Conference publication"@en ;
    schema:genre "Conference papers and proceedings"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <> ; # Lecture notes in computer science ;
    schema:name "Automata, languages and programming : 27th international colloquium, ICALP 2000, Geneva, Switzerland, July 9-15, 2000 : proceedings"@en ;
    schema:productID "44695225" ;
    schema:publication <> ;
    schema:publisher <> ; # Springer
    schema:url <> ;
    schema:url <> ;
    schema:url <> ;
    schema:url <> ;
    schema:workExample <> ;
    umbel:isLike <> ;
    wdrs:describedby <> ;

Related Entities

<> # London
    a schema:Place ;
    schema:name "London" ;

<> # ICALP 2000 (Conference) (2000 : Geneva, Switzerland)
    a bgn:Meeting, schema:Event ;
    schema:location <> ; # Geneva, Switzerland)
    schema:name "ICALP 2000 (Conference) (2000 : Geneva, Switzerland)" ;

<> # Geneva, Switzerland)
    a schema:Place ;
    schema:name "Geneva, Switzerland)" ;

<> # Abstracte automaten
    a schema:Intangible ;
    schema:name "Abstracte automaten"@en ;

<> # Automates mathématiques, Théorie des--Congrès
    a schema:Intangible ;
    schema:name "Automates mathématiques, Théorie des--Congrès"@en ;
    schema:name "Automates mathématiques, Théorie des--Congrès"@fr ;

<> # Informatique--Mathématiques--Congrès
    a schema:Intangible ;
    schema:name "Informatique--Mathématiques--Congrès"@fr ;

<> # Langages de programmation--Congrès
    a schema:Intangible ;
    schema:name "Langages de programmation--Congrès"@fr ;

<> # Langages formels--Congrès
    a schema:Intangible ;
    schema:name "Langages formels--Congrès"@en ;

<> # Ordinateurs--Programmation--Congrès
    a schema:Intangible ;
    schema:name "Ordinateurs--Programmation--Congrès"@en ;

<> # Theoretische Informatik
    a schema:Intangible ;
    schema:name "Theoretische Informatik"@en ;

<> # Theoretische Informatik--Genf <2000>
    a schema:Intangible ;
    schema:name "Theoretische Informatik--Genf <2000>"@en ;

<> # Machine theory
    a schema:Intangible ;
    schema:name "Machine theory"@en ;

<> # Programming languages (Electronic computers)
    a schema:Intangible ;
    schema:name "Programming languages (Electronic computers)"@en ;

<> # Computer science--Mathematics
    a schema:Intangible ;
    schema:name "Computer science--Mathematics"@en ;

    rdfs:comment "eBook available for UOIT via SpringerLink. Click link to access" ;

    rdfs:comment "Restricted to Springer LINK subscribers" ;

<> # José D. P. Rolim
    a schema:Person ;
    schema:familyName "Rolim" ;
    schema:givenName "José D. P." ;
    schema:name "José D. P. Rolim" ;

<> # Ugo Montanari
    a schema:Person ;
    schema:familyName "Montanari" ;
    schema:givenName "Ugo" ;
    schema:givenName "U." ;
    schema:name "Ugo Montanari" ;

<> # Emo Welzl
    a schema:Person ;
    schema:familyName "Welzl" ;
    schema:givenName "Emo" ;
    schema:name "Emo Welzl" ;

    a schema:ProductModel ;
    schema:isbn "3540677151" ;
    schema:isbn "9783540677154" ;

<> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <> ; # Automata, languages and programming : 27th international colloquium, ICALP 2000, Geneva, Switzerland, July 9-15, 2000 : proceedings
    schema:issn "0302-9743" ;
    schema:name "Lecture notes in computer science ;" ;
    schema:name "Lecture notes in computer science," ;

    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <> ; # Automata, languages and programming : 27th international colloquium, ICALP 2000, Geneva, Switzerland, July 9-15, 2000 : proceedings
    schema:dateModified "2018-02-09" ;
    void:inDataset <> ;

Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.