Automata, Languages and Programming

27th International Colloquium, ICALP 2000, Geneva, Switzerland, July 9-15, 2000 Proceedings

AvUgo Montanari,Jose D.P. Rolim

Häftad, Engelska, 2000

Del i serien Lecture Notes in Computer Science

1 136 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Fler format och utgåvor

459 kr

402 kr

555 kr

1 475 kr

538 kr

572 kr

572 kr

572 kr

538 kr

538 kr

Beskrivning

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. The 69 revised full papers presented together with nine invited contributions were carefully reviewed and selected from a total of 196 extended abstracts submitted for the two tracks on algorithms, automata, complexity, and games and on logic, semantics, and programming theory. All in all, the volume presents an unique snapshot of the state-of-the-art in theoretical computer science.

Produktinformation

Utgivningsdatum:2000-06-28
Mått:155 x 235 x undefined mm
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:952
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540677154

Utforska kategorier

Systemvetenskap och AI inom Data och IT
Programvaruutveckling inom Data och IT
Nätverk och kommunikation inom Data och IT

Innehållsförteckning

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 theComplexity 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 inBüchi 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.

Mer från samma författare

Foundations of Information Technology in the Era of Network and Mobile Computing

Nicola Santoro, Ugo Montanari, Ricardo Baeza-Yates

E-bok

2013

2 065 kr

Foundations of Information Technology in the Era of Network and Mobile Computing

Ricardo Baeza-Yates, Yates, Ricardo Baeza-Yates, Ugo Montanari, Nicola Santoro

Inbunden, 2002

1 702 kr

Foundations of Information Technology in the Era of Network and Mobile Computing : IFIP 17th World Computer Congress - TC1 Stream / 2nd IFIP Internati

Ricardo Baeza-Yates, Ugo Montanari

665 kr

Foundations of Information Technology in the Era of Network and Mobile Computing

Ricardo Baeza-Yates, Ugo Montanari, Nicola Santoro

Häftad, 2013

1 702 kr

Models of Computation

Roberto Bruni, Ugo Montanari

Inbunden, 2017

421 kr

Models of Computation

Ugo Montanari, Roberto Bruni

E-bok

2017

903 kr

Models of Computation

Roberto Bruni, Ugo Montanari

Häftad, 2018

426 kr

TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23 - 27 1987

Hartmut Ehrig, Robert A. Kowalski, Giorgio Levi, Ugo Montanari

Häftad, 1987

402 kr

TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 1987

Hartmut Ehrig, Robert Kowalski, Giorgio Levi, Ugo Montanari

Häftad, 1987

402 kr

System Development and Ada

A. Nico Habermann, Ugo Montanari

Häftad, 1987

572 kr

Mer från samma serie

Multiobjective Optimization

Jürgen Branke, Kalyanmoy Deb, Kaisa Miettinen, Roman Slowiński

Häftad, 2008

555 kr

Hideaki Takeda, Yannis Tzitzikas, Giorgos Flouris, Shizhu He, Dimitris Plexousakis, Sébastien Ferré, Ran Yu, Vasilis Efthymiou, Eleni Ilkou, Ernesto Jiménez-Ruiz, Xin Wang - Knowledge Graphs, Häftad

Del 16297

Knowledge Graphs

Hideaki Takeda, Yannis Tzitzikas, Giorgos Flouris, Shizhu He, Dimitris Plexousakis, Sébastien Ferré, Ran Yu, Vasilis Efthymiou, Eleni Ilkou, Ernesto Jiménez-Ruiz, Xin Wang

Häftad, 2026

933 kr

Agent Mediated Electronic Commerce II

Alexandros Moukas, Carles Sierra, Fredrik Ygge

Häftad, 2000

572 kr

Del 16096

Energy Informatics

Ivo Martinac, Bo Nørregaard Jørgensen, Zheng Grace Ma, Rúnar Unnþórsson, Chiara Bordin

Häftad, 2025

842 kr

Alejandro Jiménez Rodríguez, Rafael Mestre, Chaona Chen, Anna Mura, Edmund Barker, Paul Verschure, Tony Prescott - Biomimetic and Biohybrid Systems, Häftad

Del 15582

Biomimetic and Biohybrid Systems

Alejandro Jiménez Rodríguez, Rafael Mestre, Chaona Chen, Anna Mura, Edmund Barker, Paul Verschure, Tony Prescott

Häftad, 2025

1 022 kr

Extended Reality

Lucio Tommaso De Paolis, Pasquale Arpaia, Marco Sacco

Häftad, 2026

1 164 kr

Reliable Software Technologies - Ada-Europe '98

Lars Asplund

Häftad, 1998

572 kr

Lieven Eeckhout, Chao Li, Zhibin Yu, Avi Mendelson - Advanced Parallel Processing Technologies, Häftad

Nyhet

Del 16693

Advanced Parallel Processing Technologies

Lieven Eeckhout, Chao Li, Zhibin Yu, Avi Mendelson

Häftad, 2026

1 024 kr

Del 16832

Progress in Cryptology - AFRICACRYPT 2026

Nadia El Mrabet, Loubna Ghammam, Francisco Rodríguez-Henríquez

Häftad, 2026

933 kr

David Duenas-Cid, Gregor Eibl, Lieselot Danneels, Michael Koddebusch, Edimara Mezzomo Luciano, Gianluca Carlo Misuraca, Gerhard Schwabe, Teta Stamati, Leif Sundberg, Peter Parycek - Electronic Participation, Häftad

Nyhet

Electronic Participation

David Duenas-Cid, Gregor Eibl, Lieselot Danneels, Michael Koddebusch, Edimara Mezzomo Luciano, Gianluca Carlo Misuraca, Gerhard Schwabe, Teta Stamati, Leif Sundberg, Peter Parycek

Häftad, 2026

730 kr

Du kanske också är intresserad av

10% rabatt på allt

L'amour toujours : Berättelsen om Tidö

Maggie Strömberg, Torbjörn Nilsson

Inbunden, 2026

275 kr