default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/icalp/icalp97.bht:"
download as .bib file
@inproceedings{DBLP:conf/icalp/Ablayev97,
author = {Farid M. Ablayev},
editor = {Pierpaolo Degano and
Roberto Gorrieri and
Alberto Marchetti{-}Spaccamela},
title = {Randomization and Nondeterminism Are Comparable for Ordered Read-Once
Branching Programs},
booktitle = {Automata, Languages and Programming, 24th International Colloquium,
ICALP'97, Bologna, Italy, 7-11 July 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1256},
pages = {195--202},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63165-8\_177},
doi = {10.1007/3-540-63165-8\_177},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icalp/Ablayev97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/AlstrupHLT97,
author = {Stephen Alstrup and
Jacob Holm and
Kristian de Lichtenberg and
Mikkel Thorup},
editor = {Pierpaolo Degano and
Roberto Gorrieri and
Alberto Marchetti{-}Spaccamela},
title = {Minimizing Diameters of Dynamic Trees},
booktitle = {Automata, Languages and Programming, 24th International Colloquium,
ICALP'97, Bologna, Italy, 7-11 July 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1256},
pages = {270--280},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63165-8\_184},
doi = {10.1007/3-540-63165-8\_184},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/AlstrupHLT97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Ambainis97,
author = {Andris Ambainis},
editor = {Pierpaolo Degano and
Roberto Gorrieri and
Alberto Marchetti{-}Spaccamela},
title = {Upper Bound on Communication Complexity of Private Information Retrieval},
booktitle = {Automata, Languages and Programming, 24th International Colloquium,
ICALP'97, Bologna, Italy, 7-11 July 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1256},
pages = {401--407},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63165-8\_196},
doi = {10.1007/3-540-63165-8\_196},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Ambainis97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/AndreevCR97,
author = {Alexander E. Andreev and
Andrea E. F. Clementi and
Jos{\'{e}} D. P. Rolim},
editor = {Pierpaolo Degano and
Roberto Gorrieri and
Alberto Marchetti{-}Spaccamela},
title = {Worst-Case Hardness Suffices for Derandomization: {A} New Method for
Hardness-Randomness Trade-Offs},
booktitle = {Automata, Languages and Programming, 24th International Colloquium,
ICALP'97, Bologna, Italy, 7-11 July 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1256},
pages = {177--187},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63165-8\_175},
doi = {10.1007/3-540-63165-8\_175},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/AndreevCR97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Apt97,
author = {Krzysztof R. Apt},
editor = {Pierpaolo Degano and
Roberto Gorrieri and
Alberto Marchetti{-}Spaccamela},
title = {From Chaotic Iteration to Constraint Propagation},
booktitle = {Automata, Languages and Programming, 24th International Colloquium,
ICALP'97, Bologna, Italy, 7-11 July 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1256},
pages = {36--55},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63165-8\_163},
doi = {10.1007/3-540-63165-8\_163},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Apt97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/AspertiL97,
author = {Andrea Asperti and
Cosimo Laneve},
editor = {Pierpaolo Degano and
Roberto Gorrieri and
Alberto Marchetti{-}Spaccamela},
title = {On the Dynamics of Sharing Graphs},
booktitle = {Automata, Languages and Programming, 24th International Colloquium,
ICALP'97, Bologna, Italy, 7-11 July 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1256},
pages = {259--269},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63165-8\_183},
doi = {10.1007/3-540-63165-8\_183},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/AspertiL97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/BaierCHKR97,
author = {Christel Baier and
Edmund M. Clarke and
Vasiliki Hartonas{-}Garmhausen and
Marta Z. Kwiatkowska and
Mark Ryan},
editor = {Pierpaolo Degano and
Roberto Gorrieri and
Alberto Marchetti{-}Spaccamela},
title = {Symbolic Model Checking for Probabilistic Processes},
booktitle = {Automata, Languages and Programming, 24th International Colloquium,
ICALP'97, Bologna, Italy, 7-11 July 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1256},
pages = {430--440},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63165-8\_199},
doi = {10.1007/3-540-63165-8\_199},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icalp/BaierCHKR97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Bar-NoyK97,
author = {Amotz Bar{-}Noy and
Guy Kortsarz},
editor = {Pierpaolo Degano and
Roberto Gorrieri and
Alberto Marchetti{-}Spaccamela},
title = {The Minimum Color Sum of Bipartite Graphs},
booktitle = {Automata, Languages and Programming, 24th International Colloquium,
ICALP'97, Bologna, Italy, 7-11 July 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1256},
pages = {738--748},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63165-8\_227},
doi = {10.1007/3-540-63165-8\_227},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Bar-NoyK97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/BartalL97,
author = {Yair Bartal and
Stefano Leonardi},
editor = {Pierpaolo Degano and
Roberto Gorrieri and
Alberto Marchetti{-}Spaccamela},
title = {On-Line Routing in All-Optical Networks},
booktitle = {Automata, Languages and Programming, 24th International Colloquium,
ICALP'97, Bologna, Italy, 7-11 July 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1256},
pages = {516--526},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63165-8\_207},
doi = {10.1007/3-540-63165-8\_207},
timestamp = {Tue, 27 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icalp/BartalL97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/BassinoBP97,
author = {Fr{\'{e}}d{\'{e}}rique Bassino and
Marie{-}Pierre B{\'{e}}al and
Dominique Perrin},
editor = {Pierpaolo Degano and
Roberto Gorrieri and
Alberto Marchetti{-}Spaccamela},
title = {Enumerative Sequences of Leaves in Rational Trees},
booktitle = {Automata, Languages and Programming, 24th International Colloquium,
ICALP'97, Bologna, Italy, 7-11 July 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1256},
pages = {76--86},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63165-8\_166},
doi = {10.1007/3-540-63165-8\_166},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/BassinoBP97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/BeaudryLT97,
author = {Martin Beaudry and
Fran{\c{c}}ois Lemieux and
Denis Th{\'{e}}rien},
editor = {Pierpaolo Degano and
Roberto Gorrieri and
Alberto Marchetti{-}Spaccamela},
title = {Finite Loops Recognize Exactly the Regular Open Languages},
booktitle = {Automata, Languages and Programming, 24th International Colloquium,
ICALP'97, Bologna, Italy, 7-11 July 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1256},
pages = {110--120},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63165-8\_169},
doi = {10.1007/3-540-63165-8\_169},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/BeaudryLT97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/BeigelF97,
author = {Richard Beigel and
Bin Fu},
editor = {Pierpaolo Degano and
Roberto Gorrieri and
Alberto Marchetti{-}Spaccamela},
title = {Molecular Computing, Bounded Nondeterminism, and Efficient Recursion},
booktitle = {Automata, Languages and Programming, 24th International Colloquium,
ICALP'97, Bologna, Italy, 7-11 July 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1256},
pages = {816--826},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63165-8\_234},
doi = {10.1007/3-540-63165-8\_234},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/BeigelF97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Bernardo97,
author = {Marco Bernardo},
editor = {Pierpaolo Degano and
Roberto Gorrieri and
Alberto Marchetti{-}Spaccamela},
title = {An Algebra-Based Method to Associate Rewards with {EMPA} Terms},
booktitle = {Automata, Languages and Programming, 24th International Colloquium,
ICALP'97, Bologna, Italy, 7-11 July 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1256},
pages = {358--368},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63165-8\_192},
doi = {10.1007/3-540-63165-8\_192},
timestamp = {Wed, 25 Jul 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Bernardo97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/BodlaenderT97,
author = {Hans L. Bodlaender and
Dimitrios M. Thilikos},
editor = {Pierpaolo Degano and
Roberto Gorrieri and
Alberto Marchetti{-}Spaccamela},
title = {Constructive Linear Time Algorithms for Branchwidth},
booktitle = {Automata, Languages and Programming, 24th International Colloquium,
ICALP'97, Bologna, Italy, 7-11 July 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1256},
pages = {627--637},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63165-8\_217},
doi = {10.1007/3-540-63165-8\_217},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/BodlaenderT97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/BorealeNP97,
author = {Michele Boreale and
Rocco De Nicola and
Rosario Pugliese},
editor = {Pierpaolo Degano and
Roberto Gorrieri and
Alberto Marchetti{-}Spaccamela},
title = {Basic Observables for Processes},
booktitle = {Automata, Languages and Programming, 24th International Colloquium,
ICALP'97, Bologna, Italy, 7-11 July 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1256},
pages = {482--492},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63165-8\_204},
doi = {10.1007/3-540-63165-8\_204},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/BorealeNP97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/BouajjaniH97,
author = {Ahmed Bouajjani and
Peter Habermehl},
editor = {Pierpaolo Degano and
Roberto Gorrieri and
Alberto Marchetti{-}Spaccamela},
title = {Symbolic Reachability Analysis of {FIFO} Channel Systems with Nonregular
Sets of Configurations (Extended Abstract)},
booktitle = {Automata, Languages and Programming, 24th International Colloquium,
ICALP'97, Bologna, Italy, 7-11 July 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1256},
pages = {560--570},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63165-8\_211},
doi = {10.1007/3-540-63165-8\_211},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/BouajjaniH97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Bournez97,
author = {Olivier Bournez},
editor = {Pierpaolo Degano and
Roberto Gorrieri and
Alberto Marchetti{-}Spaccamela},
title = {Some Bounds on the Computational Power of Piecewise Constant Derivative
Systems (Extended Abstract)},
booktitle = {Automata, Languages and Programming, 24th International Colloquium,
ICALP'97, Bologna, Italy, 7-11 July 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1256},
pages = {143--153},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63165-8\_172},
doi = {10.1007/3-540-63165-8\_172},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Bournez97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/BroersmaKKM97,
author = {Hajo Broersma and
Ton Kloks and
Dieter Kratsch and
Haiko M{\"{u}}ller},
editor = {Pierpaolo Degano and
Roberto Gorrieri and
Alberto Marchetti{-}Spaccamela},
title = {Independent Sets in Asteroidal Triple-Free Graphs},
booktitle = {Automata, Languages and Programming, 24th International Colloquium,
ICALP'97, Bologna, Italy, 7-11 July 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1256},
pages = {760--770},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63165-8\_229},
doi = {10.1007/3-540-63165-8\_229},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icalp/BroersmaKKM97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Bruyere97,
author = {V{\'{e}}ronique Bruy{\`{e}}re},
editor = {Pierpaolo Degano and
Roberto Gorrieri and
Alberto Marchetti{-}Spaccamela},
title = {A Completion Algorithm for Codes with Bounded Synchronization Delay},
booktitle = {Automata, Languages and Programming, 24th International Colloquium,
ICALP'97, Bologna, Italy, 7-11 July 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1256},
pages = {87--97},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63165-8\_167},
doi = {10.1007/3-540-63165-8\_167},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Bruyere97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/BuccafurriGS97,
author = {Francesco Buccafurri and
Sergio Greco and
Domenico Sacc{\`{a}}},
editor = {Pierpaolo Degano and
Roberto Gorrieri and
Alberto Marchetti{-}Spaccamela},
title = {The Expressive Power of Unique Total Stable Model Semantics},
booktitle = {Automata, Languages and Programming, 24th International Colloquium,
ICALP'97, Bologna, Italy, 7-11 July 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1256},
pages = {849--859},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63165-8\_237},
doi = {10.1007/3-540-63165-8\_237},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/BuccafurriGS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/BuhrmanFF97,
author = {Harry Buhrman and
Stephen A. Fenner and
Lance Fortnow},
editor = {Pierpaolo Degano and
Roberto Gorrieri and
Alberto Marchetti{-}Spaccamela},
title = {Results on Resource-Bounded Measure},
booktitle = {Automata, Languages and Programming, 24th International Colloquium,
ICALP'97, Bologna, Italy, 7-11 July 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1256},
pages = {188--194},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63165-8\_176},
doi = {10.1007/3-540-63165-8\_176},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/BuhrmanFF97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/BurkartS97,
author = {Olaf Burkart and
Bernhard Steffen},
editor = {Pierpaolo Degano and
Roberto Gorrieri and
Alberto Marchetti{-}Spaccamela},
title = {Model Checking the Full Modal Mu-Calculus for Infinite Sequential
Processes},
booktitle = {Automata, Languages and Programming, 24th International Colloquium,
ICALP'97, Bologna, Italy, 7-11 July 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1256},
pages = {419--429},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63165-8\_198},
doi = {10.1007/3-540-63165-8\_198},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/BurkartS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
editor = {Pierpaolo Degano and
Roberto Gorrieri and
Alberto Marchetti{-}Spaccamela},
title = {Efficient Parallel Graph Algorithms For Coarse Grained Multicomputers
and {BSP}},
booktitle = {Automata, Languages and Programming, 24th International Colloquium,
ICALP'97, Bologna, Italy, 7-11 July 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1256},
pages = {390--400},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63165-8\_195},
doi = {10.1007/3-540-63165-8\_195},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/CaceresDFFRRSS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/CartonP97,
author = {Olivier Carton and
Dominique Perrin},
editor = {Pierpaolo Degano and
Roberto Gorrieri and
Alberto Marchetti{-}Spaccamela},
title = {The Wadge-Wagner Hierarchy of omega-Rational Sets},
booktitle = {Automata, Languages and Programming, 24th International Colloquium,
ICALP'97, Bologna, Italy, 7-11 July 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1256},
pages = {17--35},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63165-8\_162},
doi = {10.1007/3-540-63165-8\_162},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/CartonP97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Cassaigne97,
author = {Julien Cassaigne},
editor = {Pierpaolo Degano and
Roberto Gorrieri and
Alberto Marchetti{-}Spaccamela},
title = {On a Conjecture of J. Shallit},
booktitle = {Automata, Languages and Programming, 24th International Colloquium,
ICALP'97, Bologna, Italy, 7-11 July 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1256},
pages = {693--704},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63165-8\_223},
doi = {10.1007/3-540-63165-8\_223},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Cassaigne97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/CodenottiEGK97,
author = {Bruno Codenotti and
Funda Erg{\"{u}}n and
Peter Gemmell and
Ravi Kumar},
editor = {Pierpaolo Degano and
Roberto Gorrieri and
Alberto Marchetti{-}Spaccamela},
title = {Checking Properties of Polynomials (Extended Abstract)},
booktitle = {Automata, Languages and Programming, 24th International Colloquium,
ICALP'97, Bologna, Italy, 7-11 July 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1256},
pages = {203--213},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63165-8\_178},
doi = {10.1007/3-540-63165-8\_178},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/CodenottiEGK97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/CosmoG97,
author = {Roberto Di Cosmo and
Neil Ghani},
editor = {Pierpaolo Degano and
Roberto Gorrieri and
Alberto Marchetti{-}Spaccamela},
title = {On Modular Properties of Higher Order Extensional Lambda Calculi},
booktitle = {Automata, Languages and Programming, 24th International Colloquium,
ICALP'97, Bologna, Italy, 7-11 July 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1256},
pages = {237--247},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63165-8\_181},
doi = {10.1007/3-540-63165-8\_181},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/CosmoG97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Dami97,
author = {Laurent Dami},
editor = {Pierpaolo Degano and
Roberto Gorrieri and
Alberto Marchetti{-}Spaccamela},
title = {Labelled Reductions, Runtime Errors and Operational Subsumption},
booktitle = {Automata, Languages and Programming, 24th International Colloquium,
ICALP'97, Bologna, Italy, 7-11 July 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1256},
pages = {782--793},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63165-8\_231},
doi = {10.1007/3-540-63165-8\_231},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Dami97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/DiekertMM97,
author = {Volker Diekert and
Yuri V. Matiyasevich and
Anca Muscholl},
editor = {Pierpaolo Degano and
Roberto Gorrieri and
Alberto Marchetti{-}Spaccamela},
title = {Solving Trace Equations Using Lexicographical Normal Forms},
booktitle = {Automata, Languages and Programming, 24th International Colloquium,
ICALP'97, Bologna, Italy, 7-11 July 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1256},
pages = {336--346},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63165-8\_190},
doi = {10.1007/3-540-63165-8\_190},
timestamp = {Tue, 19 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/DiekertMM97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/DrosteG97,
author = {Manfred Droste and
Paul Gastin},
editor = {Pierpaolo Degano and
Roberto Gorrieri and
Alberto Marchetti{-}Spaccamela},
title = {On Recognizable and Rational Formal Power Series in Partially Commuting
Variables},
booktitle = {Automata, Languages and Programming, 24th International Colloquium,
ICALP'97, Bologna, Italy, 7-11 July 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1256},
pages = {682--692},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63165-8\_222},
doi = {10.1007/3-540-63165-8\_222},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/DrosteG97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Durand97,
author = {Bruno Durand},
editor = {Pierpaolo Degano and
Roberto Gorrieri and
Alberto Marchetti{-}Spaccamela},
title = {Tilings and Quasiperiodicity},
booktitle = {Automata, Languages and Programming, 24th International Colloquium,
ICALP'97, Bologna, Italy, 7-11 July 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1256},
pages = {65--75},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63165-8\_165},
doi = {10.1007/3-540-63165-8\_165},
timestamp = {Wed, 19 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Durand97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/EilamFZ97,
author = {Tamar Eilam and
Michele Flammini and
Shmuel Zaks},
editor = {Pierpaolo Degano and
Roberto Gorrieri and
Alberto Marchetti{-}Spaccamela},
title = {A Complete Characterization of the Path Layout Construction Problem
for {ATM} Networks with Given Hop Count and Load (Extended Abstract)},
booktitle = {Automata, Languages and Programming, 24th International Colloquium,
ICALP'97, Bologna, Italy, 7-11 July 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1256},
pages = {527--537},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63165-8\_208},
doi = {10.1007/3-540-63165-8\_208},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/EilamFZ97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
editor = {Pierpaolo Degano and
Roberto Gorrieri and
Alberto Marchetti{-}Spaccamela},
title = {Constructing Big Trees from Short Sequences},
booktitle = {Automata, Languages and Programming, 24th International Colloquium,
ICALP'97, Bologna, Italy, 7-11 July 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1256},
pages = {827--837},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63165-8\_235},
doi = {10.1007/3-540-63165-8\_235},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/ErdosSSW97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Fokkink97,
author = {Wan J. Fokkink},
editor = {Pierpaolo Degano and
Roberto Gorrieri and
Alberto Marchetti{-}Spaccamela},
title = {Axiomatizations for the Perpetual Loop in Process Algebra},
booktitle = {Automata, Languages and Programming, 24th International Colloquium,
ICALP'97, Bologna, Italy, 7-11 July 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1256},
pages = {571--581},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63165-8\_212},
doi = {10.1007/3-540-63165-8\_212},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Fokkink97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/FrankelY97,
author = {Yair Frankel and
Moti Yung},
editor = {Pierpaolo Degano and
Roberto Gorrieri and
Alberto Marchetti{-}Spaccamela},
title = {On Characterization of Escrow Encryption Schemes},
booktitle = {Automata, Languages and Programming, 24th International Colloquium,
ICALP'97, Bologna, Italy, 7-11 July 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1256},
pages = {705--715},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63165-8\_224},
doi = {10.1007/3-540-63165-8\_224},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/FrankelY97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Fu97,
author = {Yuxi Fu},
editor = {Pierpaolo Degano and
Roberto Gorrieri and
Alberto Marchetti{-}Spaccamela},
title = {A Proof Theoretical Approach to Communication},
booktitle = {Automata, Languages and Programming, 24th International Colloquium,
ICALP'97, Bologna, Italy, 7-11 July 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1256},
pages = {325--335},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63165-8\_189},
doi = {10.1007/3-540-63165-8\_189},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Fu97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Fujito97,
author = {Toshihiro Fujito},
editor = {Pierpaolo Degano and
Roberto Gorrieri and
Alberto Marchetti{-}Spaccamela},
title = {A Primal-Dual Approach to Approximation of Node-Deletion Problems
for Matroidal Properties},
booktitle = {Automata, Languages and Programming, 24th International Colloquium,
ICALP'97, Bologna, Italy, 7-11 July 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1256},
pages = {749--759},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63165-8\_228},
doi = {10.1007/3-540-63165-8\_228},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Fujito97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/GarganoHP97,
author = {Luisa Gargano and
Pavol Hell and
Stephane Perennes},
editor = {Pierpaolo Degano and
Roberto Gorrieri and
Alberto Marchetti{-}Spaccamela},
title = {Colouring Paths in Directed Symmetric Trees with Applications to {WDM}
Routing},
booktitle = {Automata, Languages and Programming, 24th International Colloquium,
ICALP'97, Bologna, Italy, 7-11 July 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1256},
pages = {505--515},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63165-8\_206},
doi = {10.1007/3-540-63165-8\_206},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/GarganoHP97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/GiacobazziR97,
author = {Roberto Giacobazzi and
Francesco Ranzato},
editor = {Pierpaolo Degano and
Roberto Gorrieri and
Alberto Marchetti{-}Spaccamela},
title = {Refining and Compressing Abstract Domains},
booktitle = {Automata, Languages and Programming, 24th International Colloquium,
ICALP'97, Bologna, Italy, 7-11 July 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1256},
pages = {771--781},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63165-8\_230},
doi = {10.1007/3-540-63165-8\_230},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/GiacobazziR97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Gianantonio97,
author = {Pietro Di Gianantonio},
editor = {Pierpaolo Degano and
Roberto Gorrieri and
Alberto Marchetti{-}Spaccamela},
title = {An Abstract Data Type for Real Numbers},
booktitle = {Automata, Languages and Programming, 24th International Colloquium,
ICALP'97, Bologna, Italy, 7-11 July 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1256},
pages = {121--131},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63165-8\_170},
doi = {10.1007/3-540-63165-8\_170},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Gianantonio97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/GrossiI97,
author = {Roberto Grossi and
Giuseppe F. Italiano},
editor = {Pierpaolo Degano and
Roberto Gorrieri and
Alberto Marchetti{-}Spaccamela},
title = {Efficient Splitting and Merging Algorithms for Order Decomposable
Problems (Extended Abstract)},
booktitle = {Automata, Languages and Programming, 24th International Colloquium,
ICALP'97, Bologna, Italy, 7-11 July 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1256},
pages = {605--615},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63165-8\_215},
doi = {10.1007/3-540-63165-8\_215},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/GrossiI97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/GurevichV97,
author = {Yuri Gurevich and
Andrei Voronkov},
editor = {Pierpaolo Degano and
Roberto Gorrieri and
Alberto Marchetti{-}Spaccamela},
title = {Monadic Simultaneous Rigid E-Unification and Related Problems},
booktitle = {Automata, Languages and Programming, 24th International Colloquium,
ICALP'97, Bologna, Italy, 7-11 July 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1256},
pages = {154--165},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63165-8\_173},
doi = {10.1007/3-540-63165-8\_173},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/GurevichV97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Hagerup97,
author = {Torben Hagerup},
editor = {Pierpaolo Degano and
Roberto Gorrieri and
Alberto Marchetti{-}Spaccamela},
title = {Dynamic Algorithms for Graphs of Bounded Treewidth},
booktitle = {Automata, Languages and Programming, 24th International Colloquium,
ICALP'97, Bologna, Italy, 7-11 July 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1256},
pages = {292--302},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63165-8\_186},
doi = {10.1007/3-540-63165-8\_186},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Hagerup97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/HarelS97,
author = {David Harel and
Eli Singerman},
editor = {Pierpaolo Degano and
Roberto Gorrieri and
Alberto Marchetti{-}Spaccamela},
title = {Computation Paths Logic: An Expressive, yet Elementary, Process Logic
(abridged version)},
booktitle = {Automata, Languages and Programming, 24th International Colloquium,
ICALP'97, Bologna, Italy, 7-11 July 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1256},
pages = {408--418},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63165-8\_197},
doi = {10.1007/3-540-63165-8\_197},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/HarelS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/HemaspaandraHR97,
author = {Edith Hemaspaandra and
Lane A. Hemaspaandra and
J{\"{o}}rg Rothe},
editor = {Pierpaolo Degano and
Roberto Gorrieri and
Alberto Marchetti{-}Spaccamela},
title = {Exact Analysis of Dodgson Elections: Lewis Carroll's 1876 Voting System
is Complete for Parallel Access to {NP}},
booktitle = {Automata, Languages and Programming, 24th International Colloquium,
ICALP'97, Bologna, Italy, 7-11 July 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1256},
pages = {214--224},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63165-8\_179},
doi = {10.1007/3-540-63165-8\_179},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/HemaspaandraHR97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/HenzingerK97,
author = {Monika Rauch Henzinger and
Valerie King},
editor = {Pierpaolo Degano and
Roberto Gorrieri and
Alberto Marchetti{-}Spaccamela},
title = {Maintaining Minimum Spanning Trees in Dynamic Graphs},
booktitle = {Automata, Languages and Programming, 24th International Colloquium,
ICALP'97, Bologna, Italy, 7-11 July 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1256},
pages = {594--604},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63165-8\_214},
doi = {10.1007/3-540-63165-8\_214},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/HenzingerK97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/HenzingerK97a,
author = {Thomas A. Henzinger and
Peter W. Kopke},
editor = {Pierpaolo Degano and
Roberto Gorrieri and
Alberto Marchetti{-}Spaccamela},
title = {Discrete-Time Control for Rectangular Hybrid Automata},
booktitle = {Automata, Languages and Programming, 24th International Colloquium,
ICALP'97, Bologna, Italy, 7-11 July 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1256},
pages = {582--593},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63165-8\_213},
doi = {10.1007/3-540-63165-8\_213},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/HenzingerK97a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/HondaY97,
author = {Kohei Honda and
Nobuko Yoshida},
editor = {Pierpaolo Degano and
Roberto Gorrieri and
Alberto Marchetti{-}Spaccamela},
title = {Game Theoretic Analysis of Call-by-Value Computation},
booktitle = {Automata, Languages and Programming, 24th International Colloquium,
ICALP'97, Bologna, Italy, 7-11 July 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1256},
pages = {225--236},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63165-8\_180},
doi = {10.1007/3-540-63165-8\_180},
timestamp = {Sun, 15 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icalp/HondaY97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Jancar97,
author = {Petr Jancar},
editor = {Pierpaolo Degano and
Roberto Gorrieri and
Alberto Marchetti{-}Spaccamela},
title = {Bisimulation Equivalence is Decidable for One-Counter Processes},
booktitle = {Automata, Languages and Programming, 24th International Colloquium,
ICALP'97, Bologna, Italy, 7-11 July 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1256},
pages = {549--559},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63165-8\_210},
doi = {10.1007/3-540-63165-8\_210},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Jancar97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Jansen97,
author = {Klaus Jansen},
editor = {Pierpaolo Degano and
Roberto Gorrieri and
Alberto Marchetti{-}Spaccamela},
title = {Approximation Results for the Optimum Cost Partition Problem},
booktitle = {Automata, Languages and Programming, 24th International Colloquium,
ICALP'97, Bologna, Italy, 7-11 July 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1256},
pages = {727--737},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63165-8\_226},
doi = {10.1007/3-540-63165-8\_226},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Jansen97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Kabanets97,
author = {Valentine Kabanets},
editor = {Pierpaolo Degano and
Roberto Gorrieri and
Alberto Marchetti{-}Spaccamela},
title = {Recognizability Equals Definability for Partial k-Paths},
booktitle = {Automata, Languages and Programming, 24th International Colloquium,
ICALP'97, Bologna, Italy, 7-11 July 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1256},
pages = {805--815},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63165-8\_233},
doi = {10.1007/3-540-63165-8\_233},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Kabanets97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/KaklamanisPEJ97,
author = {Christos Kaklamanis and
Pino Persiano and
Thomas Erlebach and
Klaus Jansen},
editor = {Pierpaolo Degano and
Roberto Gorrieri and
Alberto Marchetti{-}Spaccamela},
title = {Constrained Bipartite Edge Coloring with Applications to Wavelength
Routing},
booktitle = {Automata, Languages and Programming, 24th International Colloquium,
ICALP'97, Bologna, Italy, 7-11 July 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1256},
pages = {493--504},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63165-8\_205},
doi = {10.1007/3-540-63165-8\_205},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/KaklamanisPEJ97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/KarhumakiPM97,
author = {Juhani Karhum{\"{a}}ki and
Wojciech Plandowski and
Filippo Mignosi},
editor = {Pierpaolo Degano and
Roberto Gorrieri and
Alberto Marchetti{-}Spaccamela},
title = {The Expressibility of Languages and Relations by Word Equations},
booktitle = {Automata, Languages and Programming, 24th International Colloquium,
ICALP'97, Bologna, Italy, 7-11 July 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1256},
pages = {98--109},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63165-8\_168},
doi = {10.1007/3-540-63165-8\_168},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/KarhumakiPM97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/KhannaMS97,
author = {Sanjeev Khanna and
S. Muthukrishnan and
Steven Skiena},
editor = {Pierpaolo Degano and
Roberto Gorrieri and
Alberto Marchetti{-}Spaccamela},
title = {Efficient Array Partitioning},
booktitle = {Automata, Languages and Programming, 24th International Colloquium,
ICALP'97, Bologna, Italy, 7-11 July 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1256},
pages = {616--626},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63165-8\_216},
doi = {10.1007/3-540-63165-8\_216},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/KhannaMS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/KhasidashviliG97,
author = {Zurab Khasidashvili and
John R. W. Glauert},
editor = {Pierpaolo Degano and
Roberto Gorrieri and
Alberto Marchetti{-}Spaccamela},
title = {The Geometry of Orthogonal Reduction Spaces},
booktitle = {Automata, Languages and Programming, 24th International Colloquium,
ICALP'97, Bologna, Italy, 7-11 July 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1256},
pages = {649--659},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63165-8\_219},
doi = {10.1007/3-540-63165-8\_219},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/KhasidashviliG97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
editor = {Pierpaolo Degano and
Roberto Gorrieri and
Alberto Marchetti{-}Spaccamela},
title = {Improving Spanning Trees by Upgrading Nodes},
booktitle = {Automata, Languages and Programming, 24th International Colloquium,
ICALP'97, Bologna, Italy, 7-11 July 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1256},
pages = {281--291},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63165-8\_185},
doi = {10.1007/3-540-63165-8\_185},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/KrumkeMNRRSW97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/LandweberL97,
author = {Laura F. Landweber and
Richard J. Lipton},
editor = {Pierpaolo Degano and
Roberto Gorrieri and
Alberto Marchetti{-}Spaccamela},
title = {DNA{\({^2}\)}DNA Computations: {A} Potential "Killer App"?},
booktitle = {Automata, Languages and Programming, 24th International Colloquium,
ICALP'97, Bologna, Italy, 7-11 July 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1256},
pages = {56--64},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63165-8\_164},
doi = {10.1007/3-540-63165-8\_164},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/LandweberL97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/LathropL97,
author = {James I. Lathrop and
Jack H. Lutz},
editor = {Pierpaolo Degano and
Roberto Gorrieri and
Alberto Marchetti{-}Spaccamela},
title = {Recursive Computational Depth},
booktitle = {Automata, Languages and Programming, 24th International Colloquium,
ICALP'97, Bologna, Italy, 7-11 July 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1256},
pages = {132--142},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63165-8\_171},
doi = {10.1007/3-540-63165-8\_171},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/LathropL97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/ManziniM97,
author = {Giovanni Manzini and
Luciano Margara},
editor = {Pierpaolo Degano and
Roberto Gorrieri and
Alberto Marchetti{-}Spaccamela},
title = {A Complete and Efficiently Computable Topological Classification of
D-dimensional Linear Cellular Automata over Z\({}_{\mbox{m}}\)},
booktitle = {Automata, Languages and Programming, 24th International Colloquium,
ICALP'97, Bologna, Italy, 7-11 July 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1256},
pages = {794--804},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63165-8\_232},
doi = {10.1007/3-540-63165-8\_232},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/ManziniM97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Marchiori97,
author = {Massimo Marchiori},
editor = {Pierpaolo Degano and
Roberto Gorrieri and
Alberto Marchetti{-}Spaccamela},
title = {The Theory of Vaccines},
booktitle = {Automata, Languages and Programming, 24th International Colloquium,
ICALP'97, Bologna, Italy, 7-11 July 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1256},
pages = {660--670},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63165-8\_220},
doi = {10.1007/3-540-63165-8\_220},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Marchiori97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/MasonT97,
author = {Ian A. Mason and
Carolyn L. Talcott},
editor = {Pierpaolo Degano and
Roberto Gorrieri and
Alberto Marchetti{-}Spaccamela},
title = {A Semantically Sound Actor Tranlsation},
booktitle = {Automata, Languages and Programming, 24th International Colloquium,
ICALP'97, Bologna, Italy, 7-11 July 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1256},
pages = {369--378},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63165-8\_193},
doi = {10.1007/3-540-63165-8\_193},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/MasonT97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/MehlhornNU97,
author = {Kurt Mehlhorn and
Stefan N{\"{a}}her and
Christian Uhrig},
editor = {Pierpaolo Degano and
Roberto Gorrieri and
Alberto Marchetti{-}Spaccamela},
title = {The {LEDA} Platform of Combinatorial and Geometric Computing},
booktitle = {Automata, Languages and Programming, 24th International Colloquium,
ICALP'97, Bologna, Italy, 7-11 July 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1256},
pages = {7--16},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63165-8\_161},
doi = {10.1007/3-540-63165-8\_161},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/MehlhornNU97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Milner97,
author = {Robin Milner},
editor = {Pierpaolo Degano and
Roberto Gorrieri and
Alberto Marchetti{-}Spaccamela},
title = {Graphical Calculi for Interaction (Abstract)},
booktitle = {Automata, Languages and Programming, 24th International Colloquium,
ICALP'97, Bologna, Italy, 7-11 July 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1256},
pages = {1},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63165-8\_159},
doi = {10.1007/3-540-63165-8\_159},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Milner97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/NarendranO97,
author = {Paliath Narendran and
Friedrich Otto},
editor = {Pierpaolo Degano and
Roberto Gorrieri and
Alberto Marchetti{-}Spaccamela},
title = {The Word Matching Problem Is Undecidable For Finite Special String-Rewriting
Systems That Are Confluent},
booktitle = {Automata, Languages and Programming, 24th International Colloquium,
ICALP'97, Bologna, Italy, 7-11 July 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1256},
pages = {638--648},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63165-8\_218},
doi = {10.1007/3-540-63165-8\_218},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/NarendranO97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Papadimitriou97,
author = {Christos H. Papadimitriou},
editor = {Pierpaolo Degano and
Roberto Gorrieri and
Alberto Marchetti{-}Spaccamela},
title = {NP-Completeness: {A} Retrospective},
booktitle = {Automata, Languages and Programming, 24th International Colloquium,
ICALP'97, Bologna, Italy, 7-11 July 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1256},
pages = {2--6},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63165-8\_160},
doi = {10.1007/3-540-63165-8\_160},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Papadimitriou97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/PhilippouW97,
author = {Anna Philippou and
David Walker},
editor = {Pierpaolo Degano and
Roberto Gorrieri and
Alberto Marchetti{-}Spaccamela},
title = {On Confluence in the pi-Calculus},
booktitle = {Automata, Languages and Programming, 24th International Colloquium,
ICALP'97, Bologna, Italy, 7-11 July 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1256},
pages = {314--324},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63165-8\_188},
doi = {10.1007/3-540-63165-8\_188},
timestamp = {Tue, 09 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/PhilippouW97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/RielyH97,
author = {James Riely and
Matthew Hennessy},
editor = {Pierpaolo Degano and
Roberto Gorrieri and
Alberto Marchetti{-}Spaccamela},
title = {Distributed Processes and Location Failures (Extended Abstract)},
booktitle = {Automata, Languages and Programming, 24th International Colloquium,
ICALP'97, Bologna, Italy, 7-11 July 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1256},
pages = {471--481},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63165-8\_203},
doi = {10.1007/3-540-63165-8\_203},
timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/RielyH97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/RitterP97,
author = {Eike Ritter and
Valeria de Paiva},
editor = {Pierpaolo Degano and
Roberto Gorrieri and
Alberto Marchetti{-}Spaccamela},
title = {On Explicit Substitution and Names (Extended Abstract)},
booktitle = {Automata, Languages and Programming, 24th International Colloquium,
ICALP'97, Bologna, Italy, 7-11 July 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1256},
pages = {248--258},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63165-8\_182},
doi = {10.1007/3-540-63165-8\_182},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icalp/RitterP97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Robson97,
author = {John Michael Robson},
editor = {Pierpaolo Degano and
Roberto Gorrieri and
Alberto Marchetti{-}Spaccamela},
title = {On the Concentration of the Height of Binary Search Trees},
booktitle = {Automata, Languages and Programming, 24th International Colloquium,
ICALP'97, Bologna, Italy, 7-11 July 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1256},
pages = {441--448},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63165-8\_200},
doi = {10.1007/3-540-63165-8\_200},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Robson97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Roura97,
author = {Salvador Roura},
editor = {Pierpaolo Degano and
Roberto Gorrieri and
Alberto Marchetti{-}Spaccamela},
title = {An Improved Master Theorem for Divide-and-Conquer Recurrences},
booktitle = {Automata, Languages and Programming, 24th International Colloquium,
ICALP'97, Bologna, Italy, 7-11 July 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1256},
pages = {449--459},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63165-8\_201},
doi = {10.1007/3-540-63165-8\_201},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Roura97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Ruggieri97,
author = {Salvatore Ruggieri},
editor = {Pierpaolo Degano and
Roberto Gorrieri and
Alberto Marchetti{-}Spaccamela},
title = {Termination of Constraint Logic Programs},
booktitle = {Automata, Languages and Programming, 24th International Colloquium,
ICALP'97, Bologna, Italy, 7-11 July 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1256},
pages = {838--848},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63165-8\_236},
doi = {10.1007/3-540-63165-8\_236},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Ruggieri97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Sangiorgi97,
author = {Davide Sangiorgi},
editor = {Pierpaolo Degano and
Roberto Gorrieri and
Alberto Marchetti{-}Spaccamela},
title = {The Name Discipline of Uniform Receptiveness (Extended Abstract)},
booktitle = {Automata, Languages and Programming, 24th International Colloquium,
ICALP'97, Bologna, Italy, 7-11 July 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1256},
pages = {303--313},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63165-8\_187},
doi = {10.1007/3-540-63165-8\_187},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Sangiorgi97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/SantisCP97,
author = {Alfredo De Santis and
Giovanni Di Crescenzo and
Giuseppe Persiano},
editor = {Pierpaolo Degano and
Roberto Gorrieri and
Alberto Marchetti{-}Spaccamela},
title = {Randomness-Efficient Non-Interactive Zero-Knowledge (Extended Abstract)},
booktitle = {Automata, Languages and Programming, 24th International Colloquium,
ICALP'97, Bologna, Italy, 7-11 July 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1256},
pages = {716--726},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63165-8\_225},
doi = {10.1007/3-540-63165-8\_225},
timestamp = {Sun, 06 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/SantisCP97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/SchwiegelshohnT97,
author = {Uwe Schwiegelshohn and
Lothar Thiele},
editor = {Pierpaolo Degano and
Roberto Gorrieri and
Alberto Marchetti{-}Spaccamela},
title = {Periodic and Non-periodic Min-Max Equations},
booktitle = {Automata, Languages and Programming, 24th International Colloquium,
ICALP'97, Bologna, Italy, 7-11 July 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1256},
pages = {379--389},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63165-8\_194},
doi = {10.1007/3-540-63165-8\_194},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icalp/SchwiegelshohnT97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Senizergues97,
author = {G{\'{e}}raud S{\'{e}}nizergues},
editor = {Pierpaolo Degano and
Roberto Gorrieri and
Alberto Marchetti{-}Spaccamela},
title = {The Equivalence Problem for Deterministic Pushdown Automata is Decidable},
booktitle = {Automata, Languages and Programming, 24th International Colloquium,
ICALP'97, Bologna, Italy, 7-11 July 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1256},
pages = {671--681},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63165-8\_221},
doi = {10.1007/3-540-63165-8\_221},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icalp/Senizergues97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/VinkR97,
author = {Erik P. de Vink and
Jan J. M. M. Rutten},
editor = {Pierpaolo Degano and
Roberto Gorrieri and
Alberto Marchetti{-}Spaccamela},
title = {Bisimulation for Probabilistic Transition Systems: {A} Coalgebraic
Approach},
booktitle = {Automata, Languages and Programming, 24th International Colloquium,
ICALP'97, Bologna, Italy, 7-11 July 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1256},
pages = {460--470},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63165-8\_202},
doi = {10.1007/3-540-63165-8\_202},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/VinkR97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Vogler97,
author = {Walter Vogler},
editor = {Pierpaolo Degano and
Roberto Gorrieri and
Alberto Marchetti{-}Spaccamela},
title = {Efficiency of Asynchronous Systems and Read Arcs in Petri Nets},
booktitle = {Automata, Languages and Programming, 24th International Colloquium,
ICALP'97, Bologna, Italy, 7-11 July 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1256},
pages = {538--548},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63165-8\_209},
doi = {10.1007/3-540-63165-8\_209},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Vogler97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Weihrauch97,
author = {Klaus Weihrauch},
editor = {Pierpaolo Degano and
Roberto Gorrieri and
Alberto Marchetti{-}Spaccamela},
title = {Computability on the Probability Measures on the Borel Sets of the
Unit Interval},
booktitle = {Automata, Languages and Programming, 24th International Colloquium,
ICALP'97, Bologna, Italy, 7-11 July 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1256},
pages = {166--176},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63165-8\_174},
doi = {10.1007/3-540-63165-8\_174},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Weihrauch97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Wilke97,
author = {Thomas Wilke},
editor = {Pierpaolo Degano and
Roberto Gorrieri and
Alberto Marchetti{-}Spaccamela},
title = {Star-Free Picture Expressions are Strictly Weaker Than First-Order
Logic},
booktitle = {Automata, Languages and Programming, 24th International Colloquium,
ICALP'97, Bologna, Italy, 7-11 July 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1256},
pages = {347--357},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63165-8\_191},
doi = {10.1007/3-540-63165-8\_191},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Wilke97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
url = {https://doi.org/10.1007/3-540-63165-8},
doi = {10.1007/3-540-63165-8},
isbn = {3-540-63165-8},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/1997.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2025-01-02 17:26 CET from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
