**default search action**

# Search dblp for Publications

export results for

**"toc:db/conf/icalp/icalp97.bht:"**@inproceedings{DBLP:conf/icalp/Ablayev97, author = {Farid M. Ablayev}, title = {Randomization and Nondeterminism Are Comparable for Ordered Read-Once Branching Programs}, booktitle = {{ICALP}}, series = {Lecture Notes in Computer Science}, volume = {1256}, pages = {195--202}, publisher = {Springer}, year = {1997} }

@inproceedings{DBLP:conf/icalp/AlstrupHLT97, author = {Stephen Alstrup and Jacob Holm and Kristian de Lichtenberg and Mikkel Thorup}, title = {Minimizing Diameters of Dynamic Trees}, booktitle = {{ICALP}}, series = {Lecture Notes in Computer Science}, volume = {1256}, pages = {270--280}, publisher = {Springer}, year = {1997} }

@inproceedings{DBLP:conf/icalp/Ambainis97, author = {Andris Ambainis}, title = {Upper Bound on Communication Complexity of Private Information Retrieval}, booktitle = {{ICALP}}, series = {Lecture Notes in Computer Science}, volume = {1256}, pages = {401--407}, publisher = {Springer}, year = {1997} }

@inproceedings{DBLP:conf/icalp/AndreevCR97, author = {Alexander E. Andreev and Andrea E. F. Clementi and Jos{\'{e}} D. P. Rolim}, title = {Worst-Case Hardness Suffices for Derandomization: {A} New Method for Hardness-Randomness Trade-Offs}, booktitle = {{ICALP}}, series = {Lecture Notes in Computer Science}, volume = {1256}, pages = {177--187}, publisher = {Springer}, year = {1997} }

@inproceedings{DBLP:conf/icalp/Apt97, author = {Krzysztof R. Apt}, title = {From Chaotic Iteration to Constraint Propagation}, booktitle = {{ICALP}}, series = {Lecture Notes in Computer Science}, volume = {1256}, pages = {36--55}, publisher = {Springer}, year = {1997} }

@inproceedings{DBLP:conf/icalp/AspertiL97, author = {Andrea Asperti and Cosimo Laneve}, title = {On the Dynamics of Sharing Graphs}, booktitle = {{ICALP}}, series = {Lecture Notes in Computer Science}, volume = {1256}, pages = {259--269}, publisher = {Springer}, year = {1997} }

@inproceedings{DBLP:conf/icalp/BaierCHKR97, author = {Christel Baier and Edmund M. Clarke and Vasiliki Hartonas{-}Garmhausen and Marta Z. Kwiatkowska and Mark Ryan}, title = {Symbolic Model Checking for Probabilistic Processes}, booktitle = {{ICALP}}, series = {Lecture Notes in Computer Science}, volume = {1256}, pages = {430--440}, publisher = {Springer}, year = {1997} }

@inproceedings{DBLP:conf/icalp/Bar-NoyK97, author = {Amotz Bar{-}Noy and Guy Kortsarz}, title = {The Minimum Color Sum of Bipartite Graphs}, booktitle = {{ICALP}}, series = {Lecture Notes in Computer Science}, volume = {1256}, pages = {738--748}, publisher = {Springer}, year = {1997} }

@inproceedings{DBLP:conf/icalp/BartalL97, author = {Yair Bartal and Stefano Leonardi}, title = {On-Line Routing in All-Optical Networks}, booktitle = {{ICALP}}, series = {Lecture Notes in Computer Science}, volume = {1256}, pages = {516--526}, publisher = {Springer}, year = {1997} }

@inproceedings{DBLP:conf/icalp/BassinoBP97, author = {Fr{\'{e}}d{\'{e}}rique Bassino and Marie{-}Pierre B{\'{e}}al and Dominique Perrin}, title = {Enumerative Sequences of Leaves in Rational Trees}, booktitle = {{ICALP}}, series = {Lecture Notes in Computer Science}, volume = {1256}, pages = {76--86}, publisher = {Springer}, year = {1997} }

@inproceedings{DBLP:conf/icalp/BeaudryLT97, author = {Martin Beaudry and Fran{\c{c}}ois Lemieux and Denis Th{\'{e}}rien}, title = {Finite Loops Recognize Exactly the Regular Open Languages}, booktitle = {{ICALP}}, series = {Lecture Notes in Computer Science}, volume = {1256}, pages = {110--120}, publisher = {Springer}, year = {1997} }

@inproceedings{DBLP:conf/icalp/BeigelF97, author = {Richard Beigel and Bin Fu}, title = {Molecular Computing, Bounded Nondeterminism, and Efficient Recursion}, booktitle = {{ICALP}}, series = {Lecture Notes in Computer Science}, volume = {1256}, pages = {816--826}, publisher = {Springer}, year = {1997} }

@inproceedings{DBLP:conf/icalp/Bernardo97, author = {Marco Bernardo}, title = {An Algebra-Based Method to Associate Rewards with {EMPA} Terms}, booktitle = {{ICALP}}, series = {Lecture Notes in Computer Science}, volume = {1256}, pages = {358--368}, publisher = {Springer}, year = {1997} }

@inproceedings{DBLP:conf/icalp/BodlaenderT97, author = {Hans L. Bodlaender and Dimitrios M. Thilikos}, title = {Constructive Linear Time Algorithms for Branchwidth}, booktitle = {{ICALP}}, series = {Lecture Notes in Computer Science}, volume = {1256}, pages = {627--637}, publisher = {Springer}, year = {1997} }

@inproceedings{DBLP:conf/icalp/BorealeNP97, author = {Michele Boreale and Rocco {De Nicola} and Rosario Pugliese}, title = {Basic Observables for Processes}, booktitle = {{ICALP}}, series = {Lecture Notes in Computer Science}, volume = {1256}, pages = {482--492}, publisher = {Springer}, year = {1997} }

@inproceedings{DBLP:conf/icalp/BouajjaniH97, author = {Ahmed Bouajjani and Peter Habermehl}, title = {Symbolic Reachability Analysis of {FIFO} Channel Systems with Nonregular Sets of Configurations (Extended Abstract)}, booktitle = {{ICALP}}, series = {Lecture Notes in Computer Science}, volume = {1256}, pages = {560--570}, publisher = {Springer}, year = {1997} }

@inproceedings{DBLP:conf/icalp/Bournez97, author = {Olivier Bournez}, title = {Some Bounds on the Computational Power of Piecewise Constant Derivative Systems (Extended Abstract)}, booktitle = {{ICALP}}, series = {Lecture Notes in Computer Science}, volume = {1256}, pages = {143--153}, publisher = {Springer}, year = {1997} }

@inproceedings{DBLP:conf/icalp/BroersmaKKM97, author = {Hajo Broersma and Ton Kloks and Dieter Kratsch and Haiko M{\"{u}}ller}, title = {Independent Sets in Asteroidal Triple-Free Graphs}, booktitle = {{ICALP}}, series = {Lecture Notes in Computer Science}, volume = {1256}, pages = {760--770}, publisher = {Springer}, year = {1997} }

@inproceedings{DBLP:conf/icalp/Bruyere97, author = {V{\'{e}}ronique Bruy{\`{e}}re}, title = {A Completion Algorithm for Codes with Bounded Synchronization Delay}, booktitle = {{ICALP}}, series = {Lecture Notes in Computer Science}, volume = {1256}, pages = {87--97}, publisher = {Springer}, year = {1997} }

@inproceedings{DBLP:conf/icalp/BuccafurriGS97, author = {Francesco Buccafurri and Sergio Greco and Domenico Sacc{\`{a}}}, title = {The Expressive Power of Unique Total Stable Model Semantics}, booktitle = {{ICALP}}, series = {Lecture Notes in Computer Science}, volume = {1256}, pages = {849--859}, publisher = {Springer}, year = {1997} }

@inproceedings{DBLP:conf/icalp/BuhrmanFF97, author = {Harry Buhrman and Stephen A. Fenner and Lance Fortnow}, title = {Results on Resource-Bounded Measure}, booktitle = {{ICALP}}, series = {Lecture Notes in Computer Science}, volume = {1256}, pages = {188--194}, publisher = {Springer}, year = {1997} }

@inproceedings{DBLP:conf/icalp/BurkartS97, author = {Olaf Burkart and Bernhard Steffen}, title = {Model Checking the Full Modal Mu-Calculus for Infinite Sequential Processes}, booktitle = {{ICALP}}, series = {Lecture Notes in Computer Science}, volume = {1256}, pages = {419--429}, publisher = {Springer}, year = {1997} }

@inproceedings{DBLP:conf/icalp/CaceresDFFRRSS97, author = {Edson C{\'{a}}ceres and Frank K. H. A. Dehne and Afonso Ferreira and Paola Flocchini and Ingo Rieping and Alessandro Roncato and Nicola Santoro and Siang W. Song}, title = {Efficient Parallel Graph Algorithms For Coarse Grained Multicomputers and {BSP}}, booktitle = {{ICALP}}, series = {Lecture Notes in Computer Science}, volume = {1256}, pages = {390--400}, publisher = {Springer}, year = {1997} }

@inproceedings{DBLP:conf/icalp/CartonP97, author = {Olivier Carton and Dominique Perrin}, title = {The Wadge-Wagner Hierarchy of omega-Rational Sets}, booktitle = {{ICALP}}, series = {Lecture Notes in Computer Science}, volume = {1256}, pages = {17--35}, publisher = {Springer}, year = {1997} }

@inproceedings{DBLP:conf/icalp/Cassaigne97, author = {Julien Cassaigne}, title = {On a Conjecture of J. Shallit}, booktitle = {{ICALP}}, series = {Lecture Notes in Computer Science}, volume = {1256}, pages = {693--704}, publisher = {Springer}, year = {1997} }

@inproceedings{DBLP:conf/icalp/CodenottiEGK97, author = {Bruno Codenotti and Funda Erg{\"{u}}n and Peter Gemmell and Ravi Kumar}, title = {Checking Properties of Polynomials (Extended Abstract)}, booktitle = {{ICALP}}, series = {Lecture Notes in Computer Science}, volume = {1256}, pages = {203--213}, publisher = {Springer}, year = {1997} }

@inproceedings{DBLP:conf/icalp/CosmoG97, author = {Roberto Di Cosmo and Neil Ghani}, title = {On Modular Properties of Higher Order Extensional Lambda Calculi}, booktitle = {{ICALP}}, series = {Lecture Notes in Computer Science}, volume = {1256}, pages = {237--247}, publisher = {Springer}, year = {1997} }

@inproceedings{DBLP:conf/icalp/Dami97, author = {Laurent Dami}, title = {Labelled Reductions, Runtime Errors and Operational Subsumption}, booktitle = {{ICALP}}, series = {Lecture Notes in Computer Science}, volume = {1256}, pages = {782--793}, publisher = {Springer}, year = {1997} }

@inproceedings{DBLP:conf/icalp/DiekertMM97, author = {Volker Diekert and Yuri V. Matiyasevich and Anca Muscholl}, title = {Solving Trace Equations Using Lexicographical Normal Forms}, booktitle = {{ICALP}}, series = {Lecture Notes in Computer Science}, volume = {1256}, pages = {336--346}, publisher = {Springer}, year = {1997} }

@inproceedings{DBLP:conf/icalp/DrosteG97, author = {Manfred Droste and Paul Gastin}, title = {On Recognizable and Rational Formal Power Series in Partially Commuting Variables}, booktitle = {{ICALP}}, series = {Lecture Notes in Computer Science}, volume = {1256}, pages = {682--692}, publisher = {Springer}, year = {1997} }

@inproceedings{DBLP:conf/icalp/Durand97, author = {Bruno Durand}, title = {Tilings and Quasiperiodicity}, booktitle = {{ICALP}}, series = {Lecture Notes in Computer Science}, volume = {1256}, pages = {65--75}, publisher = {Springer}, year = {1997} }

@inproceedings{DBLP:conf/icalp/EilamFZ97, author = {Tamar Eilam and Michele Flammini and Shmuel Zaks}, title = {A Complete Characterization of the Path Layout Construction Problem for {ATM} Networks with Given Hop Count and Load (Extended Abstract)}, booktitle = {{ICALP}}, series = {Lecture Notes in Computer Science}, volume = {1256}, pages = {527--537}, publisher = {Springer}, year = {1997} }

@inproceedings{DBLP:conf/icalp/ErdosSSW97, author = {P{\'{e}}ter L. Erd{\"{o}}s and Mike A. Steel and L{\'{a}}szl{\'{o}} A. Sz{\'{e}}kely and Tandy J. Warnow}, title = {Constructing Big Trees from Short Sequences}, booktitle = {{ICALP}}, series = {Lecture Notes in Computer Science}, volume = {1256}, pages = {827--837}, publisher = {Springer}, year = {1997} }

@inproceedings{DBLP:conf/icalp/Fokkink97, author = {Wan Fokkink}, title = {Axiomatizations for the Perpetual Loop in Process Algebra}, booktitle = {{ICALP}}, series = {Lecture Notes in Computer Science}, volume = {1256}, pages = {571--581}, publisher = {Springer}, year = {1997} }

@inproceedings{DBLP:conf/icalp/FrankelY97, author = {Yair Frankel and Moti Yung}, title = {On Characterization of Escrow Encryption Schemes}, booktitle = {{ICALP}}, series = {Lecture Notes in Computer Science}, volume = {1256}, pages = {705--715}, publisher = {Springer}, year = {1997} }

@inproceedings{DBLP:conf/icalp/Fu97, author = {Yuxi Fu}, title = {A Proof Theoretical Approach to Communication}, booktitle = {{ICALP}}, series = {Lecture Notes in Computer Science}, volume = {1256}, pages = {325--335}, publisher = {Springer}, year = {1997} }

@inproceedings{DBLP:conf/icalp/Fujito97, author = {Toshihiro Fujito}, title = {A Primal-Dual Approach to Approximation of Node-Deletion Problems for Matroidal Properties}, booktitle = {{ICALP}}, series = {Lecture Notes in Computer Science}, volume = {1256}, pages = {749--759}, publisher = {Springer}, year = {1997} }

@inproceedings{DBLP:conf/icalp/GarganoHP97, author = {Luisa Gargano and Pavol Hell and Stephane Perennes}, title = {Colouring Paths in Directed Symmetric Trees with Applications to {WDM} Routing}, booktitle = {{ICALP}}, series = {Lecture Notes in Computer Science}, volume = {1256}, pages = {505--515}, publisher = {Springer}, year = {1997} }

@inproceedings{DBLP:conf/icalp/GiacobazziR97, author = {Roberto Giacobazzi and Francesco Ranzato}, title = {Refining and Compressing Abstract Domains}, booktitle = {{ICALP}}, series = {Lecture Notes in Computer Science}, volume = {1256}, pages = {771--781}, publisher = {Springer}, year = {1997} }

@inproceedings{DBLP:conf/icalp/Gianantonio97, author = {Pietro Di Gianantonio}, title = {An Abstract Data Type for Real Numbers}, booktitle = {{ICALP}}, series = {Lecture Notes in Computer Science}, volume = {1256}, pages = {121--131}, publisher = {Springer}, year = {1997} }

@inproceedings{DBLP:conf/icalp/GrossiI97, author = {Roberto Grossi and Giuseppe F. Italiano}, title = {Efficient Splitting and Merging Algorithms for Order Decomposable Problems (Extended Abstract)}, booktitle = {{ICALP}}, series = {Lecture Notes in Computer Science}, volume = {1256}, pages = {605--615}, publisher = {Springer}, year = {1997} }

@inproceedings{DBLP:conf/icalp/GurevichV97, author = {Yuri Gurevich and Andrei Voronkov}, title = {Monadic Simultaneous Rigid E-Unification and Related Problems}, booktitle = {{ICALP}}, series = {Lecture Notes in Computer Science}, volume = {1256}, pages = {154--165}, publisher = {Springer}, year = {1997} }

@inproceedings{DBLP:conf/icalp/Hagerup97, author = {Torben Hagerup}, title = {Dynamic Algorithms for Graphs of Bounded Treewidth}, booktitle = {{ICALP}}, series = {Lecture Notes in Computer Science}, volume = {1256}, pages = {292--302}, publisher = {Springer}, year = {1997} }

@inproceedings{DBLP:conf/icalp/HarelS97, author = {David Harel and Eli Singerman}, title = {Computation Paths Logic: An Expressive, yet Elementary, Process Logic (abridged version)}, booktitle = {{ICALP}}, series = {Lecture Notes in Computer Science}, volume = {1256}, pages = {408--418}, publisher = {Springer}, year = {1997} }

@inproceedings{DBLP:conf/icalp/HemaspaandraHR97, author = {Edith Hemaspaandra and Lane A. Hemaspaandra and J{\"{o}}rg Rothe}, title = {Exact Analysis of Dodgson Elections: Lewis Carroll's 1876 Voting System is Complete for Parallel Access to {NP}}, booktitle = {{ICALP}}, series = {Lecture Notes in Computer Science}, volume = {1256}, pages = {214--224}, publisher = {Springer}, year = {1997} }

@inproceedings{DBLP:conf/icalp/HenzingerK97, author = {Monika Rauch Henzinger and Valerie King}, title = {Maintaining Minimum Spanning Trees in Dynamic Graphs}, booktitle = {{ICALP}}, series = {Lecture Notes in Computer Science}, volume = {1256}, pages = {594--604}, publisher = {Springer}, year = {1997} }

@inproceedings{DBLP:conf/icalp/HenzingerK97a, author = {Thomas A. Henzinger and Peter W. Kopke}, title = {Discrete-Time Control for Rectangular Hybrid Automata}, booktitle = {{ICALP}}, series = {Lecture Notes in Computer Science}, volume = {1256}, pages = {582--593}, publisher = {Springer}, year = {1997} }

@inproceedings{DBLP:conf/icalp/HondaY97, author = {Kohei Honda and Nobuko Yoshida}, title = {Game Theoretic Analysis of Call-by-Value Computation}, booktitle = {{ICALP}}, series = {Lecture Notes in Computer Science}, volume = {1256}, pages = {225--236}, publisher = {Springer}, year = {1997} }

@inproceedings{DBLP:conf/icalp/Jancar97, author = {Petr Jancar}, title = {Bisimulation Equivalence is Decidable for One-Counter Processes}, booktitle = {{ICALP}}, series = {Lecture Notes in Computer Science}, volume = {1256}, pages = {549--559}, publisher = {Springer}, year = {1997} }

@inproceedings{DBLP:conf/icalp/Jansen97, author = {Klaus Jansen}, title = {Approximation Results for the Optimum Cost Partition Problem}, booktitle = {{ICALP}}, series = {Lecture Notes in Computer Science}, volume = {1256}, pages = {727--737}, publisher = {Springer}, year = {1997} }

@inproceedings{DBLP:conf/icalp/Kabanets97, author = {Valentine Kabanets}, title = {Recognizability Equals Definability for Partial k-Paths}, booktitle = {{ICALP}}, series = {Lecture Notes in Computer Science}, volume = {1256}, pages = {805--815}, publisher = {Springer}, year = {1997} }

@inproceedings{DBLP:conf/icalp/KaklamanisPEJ97, author = {Christos Kaklamanis and Pino Persiano and Thomas Erlebach and Klaus Jansen}, title = {Constrained Bipartite Edge Coloring with Applications to Wavelength Routing}, booktitle = {{ICALP}}, series = {Lecture Notes in Computer Science}, volume = {1256}, pages = {493--504}, publisher = {Springer}, year = {1997} }

@inproceedings{DBLP:conf/icalp/KarhumakiPM97, author = {Juhani Karhum{\"{a}}ki and Wojciech Plandowski and Filippo Mignosi}, title = {The Expressibility of Languages and Relations by Word Equations}, booktitle = {{ICALP}}, series = {Lecture Notes in Computer Science}, volume = {1256}, pages = {98--109}, publisher = {Springer}, year = {1997} }

@inproceedings{DBLP:conf/icalp/KhannaMS97, author = {Sanjeev Khanna and S. Muthukrishnan and Steven Skiena}, title = {Efficient Array Partitioning}, booktitle = {{ICALP}}, series = {Lecture Notes in Computer Science}, volume = {1256}, pages = {616--626}, publisher = {Springer}, year = {1997} }

@inproceedings{DBLP:conf/icalp/KhasidashviliG97, author = {Zurab Khasidashvili and John R. W. Glauert}, title = {The Geometry of Orthogonal Reduction Spaces}, booktitle = {{ICALP}}, series = {Lecture Notes in Computer Science}, volume = {1256}, pages = {649--659}, publisher = {Springer}, year = {1997} }

@inproceedings{DBLP:conf/icalp/KrumkeMNRRSW97, author = {Sven Oliver Krumke and Madhav V. Marathe and Hartmut Noltemeier and R. Ravi and S. S. Ravi and Ravi Sundaram and Hans{-}Christoph Wirth}, title = {Improving Spanning Trees by Upgrading Nodes}, booktitle = {{ICALP}}, series = {Lecture Notes in Computer Science}, volume = {1256}, pages = {281--291}, publisher = {Springer}, year = {1997} }

@inproceedings{DBLP:conf/icalp/LandweberL97, author = {Laura F. Landweber and Richard J. Lipton}, title = {DNA{\({^2}\)}DNA Computations: {A} Potential "Killer App"?}, booktitle = {{ICALP}}, series = {Lecture Notes in Computer Science}, volume = {1256}, pages = {56--64}, publisher = {Springer}, year = {1997} }

@inproceedings{DBLP:conf/icalp/LathropL97, author = {James I. Lathrop and Jack H. Lutz}, title = {Recursive Computational Depth}, booktitle = {{ICALP}}, series = {Lecture Notes in Computer Science}, volume = {1256}, pages = {132--142}, publisher = {Springer}, year = {1997} }

@inproceedings{DBLP:conf/icalp/ManziniM97, author = {Giovanni Manzini and Luciano Margara}, title = {A Complete and Efficiently Computable Topological Classification of D-dimensional Linear Cellular Automata over Z\({}_{\mbox{m}}\)}, booktitle = {{ICALP}}, series = {Lecture Notes in Computer Science}, volume = {1256}, pages = {794--804}, publisher = {Springer}, year = {1997} }

@inproceedings{DBLP:conf/icalp/Marchiori97, author = {Massimo Marchiori}, title = {The Theory of Vaccines}, booktitle = {{ICALP}}, series = {Lecture Notes in Computer Science}, volume = {1256}, pages = {660--670}, publisher = {Springer}, year = {1997} }

@inproceedings{DBLP:conf/icalp/MasonT97, author = {Ian A. Mason and Carolyn L. Talcott}, title = {A Semantically Sound Actor Tranlsation}, booktitle = {{ICALP}}, series = {Lecture Notes in Computer Science}, volume = {1256}, pages = {369--378}, publisher = {Springer}, year = {1997} }

@inproceedings{DBLP:conf/icalp/MehlhornNU97, author = {Kurt Mehlhorn and Stefan N{\"{a}}her and Christian Uhrig}, title = {The {LEDA} Platform of Combinatorial and Geometric Computing}, booktitle = {{ICALP}}, series = {Lecture Notes in Computer Science}, volume = {1256}, pages = {7--16}, publisher = {Springer}, year = {1997} }

@inproceedings{DBLP:conf/icalp/Milner97, author = {Robin Milner}, title = {Graphical Calculi for Interaction (Abstract)}, booktitle = {{ICALP}}, series = {Lecture Notes in Computer Science}, volume = {1256}, pages = {1}, publisher = {Springer}, year = {1997} }

@inproceedings{DBLP:conf/icalp/NarendranO97, author = {Paliath Narendran and Friedrich Otto}, title = {The Word Matching Problem Is Undecidable For Finite Special String-Rewriting Systems That Are Confluent}, booktitle = {{ICALP}}, series = {Lecture Notes in Computer Science}, volume = {1256}, pages = {638--648}, publisher = {Springer}, year = {1997} }

@inproceedings{DBLP:conf/icalp/Papadimitriou97, author = {Christos H. Papadimitriou}, title = {NP-Completeness: {A} Retrospective}, booktitle = {{ICALP}}, series = {Lecture Notes in Computer Science}, volume = {1256}, pages = {2--6}, publisher = {Springer}, year = {1997} }

@inproceedings{DBLP:conf/icalp/PhilippouW97, author = {Anna Philippou and David Walker}, title = {On Confluence in the pi-Calculus}, booktitle = {{ICALP}}, series = {Lecture Notes in Computer Science}, volume = {1256}, pages = {314--324}, publisher = {Springer}, year = {1997} }

@inproceedings{DBLP:conf/icalp/RielyH97, author = {James Riely and Matthew Hennessy}, title = {Distributed Processes and Location Failures (Extended Abstract)}, booktitle = {{ICALP}}, series = {Lecture Notes in Computer Science}, volume = {1256}, pages = {471--481}, publisher = {Springer}, year = {1997} }

@inproceedings{DBLP:conf/icalp/RitterP97, author = {Eike Ritter and Valeria de Paiva}, title = {On Explicit Substitution and Names (Extended Abstract)}, booktitle = {{ICALP}}, series = {Lecture Notes in Computer Science}, volume = {1256}, pages = {248--258}, publisher = {Springer}, year = {1997} }

@inproceedings{DBLP:conf/icalp/Robson97, author = {John Michael Robson}, title = {On the Concentration of the Height of Binary Search Trees}, booktitle = {{ICALP}}, series = {Lecture Notes in Computer Science}, volume = {1256}, pages = {441--448}, publisher = {Springer}, year = {1997} }

@inproceedings{DBLP:conf/icalp/Roura97, author = {Salvador Roura}, title = {An Improved Master Theorem for Divide-and-Conquer Recurrences}, booktitle = {{ICALP}}, series = {Lecture Notes in Computer Science}, volume = {1256}, pages = {449--459}, publisher = {Springer}, year = {1997} }

@inproceedings{DBLP:conf/icalp/Ruggieri97, author = {Salvatore Ruggieri}, title = {Termination of Constraint Logic Programs}, booktitle = {{ICALP}}, series = {Lecture Notes in Computer Science}, volume = {1256}, pages = {838--848}, publisher = {Springer}, year = {1997} }

@inproceedings{DBLP:conf/icalp/Sangiorgi97, author = {Davide Sangiorgi}, title = {The Name Discipline of Uniform Receptiveness (Extended Abstract)}, booktitle = {{ICALP}}, series = {Lecture Notes in Computer Science}, volume = {1256}, pages = {303--313}, publisher = {Springer}, year = {1997} }

@inproceedings{DBLP:conf/icalp/SantisCP97, author = {Alfredo De Santis and Giovanni Di Crescenzo and Giuseppe Persiano}, title = {Randomness-Efficient Non-Interactive Zero-Knowledge (Extended Abstract)}, booktitle = {{ICALP}}, series = {Lecture Notes in Computer Science}, volume = {1256}, pages = {716--726}, publisher = {Springer}, year = {1997} }

@inproceedings{DBLP:conf/icalp/SchwiegelshohnT97, author = {Uwe Schwiegelshohn and Lothar Thiele}, title = {Periodic and Non-periodic Min-Max Equations}, booktitle = {{ICALP}}, series = {Lecture Notes in Computer Science}, volume = {1256}, pages = {379--389}, publisher = {Springer}, year = {1997} }

@inproceedings{DBLP:conf/icalp/Senizergues97, author = {G{\'{e}}raud S{\'{e}}nizergues}, title = {The Equivalence Problem for Deterministic Pushdown Automata is Decidable}, booktitle = {{ICALP}}, series = {Lecture Notes in Computer Science}, volume = {1256}, pages = {671--681}, publisher = {Springer}, year = {1997} }

@inproceedings{DBLP:conf/icalp/VinkR97, author = {Erik P. de Vink and Jan J. M. M. Rutten}, title = {Bisimulation for Probabilistic Transition Systems: {A} Coalgebraic Approach}, booktitle = {{ICALP}}, series = {Lecture Notes in Computer Science}, volume = {1256}, pages = {460--470}, publisher = {Springer}, year = {1997} }

@inproceedings{DBLP:conf/icalp/Vogler97, author = {Walter Vogler}, title = {Efficiency of Asynchronous Systems and Read Arcs in Petri Nets}, booktitle = {{ICALP}}, series = {Lecture Notes in Computer Science}, volume = {1256}, pages = {538--548}, publisher = {Springer}, year = {1997} }

@inproceedings{DBLP:conf/icalp/Weihrauch97, author = {Klaus Weihrauch}, title = {Computability on the Probability Measures on the Borel Sets of the Unit Interval}, booktitle = {{ICALP}}, series = {Lecture Notes in Computer Science}, volume = {1256}, pages = {166--176}, publisher = {Springer}, year = {1997} }

@inproceedings{DBLP:conf/icalp/Wilke97, author = {Thomas Wilke}, title = {Star-Free Picture Expressions are Strictly Weaker Than First-Order Logic}, booktitle = {{ICALP}}, series = {Lecture Notes in Computer Science}, volume = {1256}, pages = {347--357}, publisher = {Springer}, year = {1997} }

@proceedings{DBLP:conf/icalp/1997, editor = {Pierpaolo Degano and Roberto Gorrieri and Alberto Marchetti{-}Spaccamela}, title = {Automata, Languages and Programming, 24th International Colloquium, ICALP'97, Bologna, Italy, 7-11 July 1997, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1256}, publisher = {Springer}, year = {1997} }