Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/icalp/icalp92.bht:"
download as .bib file
@inproceedings{DBLP:conf/icalp/ApostolicoBG92,
author = {Alberto Apostolico and
Dany Breslauer and
Zvi Galil},
editor = {Werner Kuich},
title = {Optimal Parallel Algorithms for Periods, Palindromes and Squares (Extended
Abstract)},
booktitle = {Automata, Languages and Programming, 19th International Colloquium,
ICALP92, Vienna, Austria, July 13-17, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {623},
pages = {296--307},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55719-9\_82},
doi = {10.1007/3-540-55719-9\_82},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/ApostolicoBG92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/ArvindHHKLMOSST92,
author = {Vikraman Arvind and
Yenjo Han and
Lane A. Hemachandra and
Johannes K{\"{o}}bler and
Antoni Lozano and
Martin Mundhenk and
Mitsunori Ogiwara and
Uwe Sch{\"{o}}ning and
Riccardo Silvestri and
Thomas Thierauf},
editor = {Werner Kuich},
title = {Reductions to Sets of Low Information Content},
booktitle = {Automata, Languages and Programming, 19th International Colloquium,
ICALP92, Vienna, Austria, July 13-17, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {623},
pages = {162--173},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55719-9\_72},
doi = {10.1007/3-540-55719-9\_72},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/ArvindHHKLMOSST92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/BodlaenderFW92,
author = {Hans L. Bodlaender and
Michael R. Fellows and
Tandy J. Warnow},
editor = {Werner Kuich},
title = {Two Strikes Against Perfect Phylogeny},
booktitle = {Automata, Languages and Programming, 19th International Colloquium,
ICALP92, Vienna, Austria, July 13-17, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {623},
pages = {273--283},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55719-9\_80},
doi = {10.1007/3-540-55719-9\_80},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/BodlaenderFW92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/BroderFSU92,
author = {Andrei Z. Broder and
Alan M. Frieze and
Eli Shamir and
Eli Upfal},
editor = {Werner Kuich},
title = {Near-perfect Token Distribution},
booktitle = {Automata, Languages and Programming, 19th International Colloquium,
ICALP92, Vienna, Austria, July 13-17, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {623},
pages = {308--317},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55719-9\_83},
doi = {10.1007/3-540-55719-9\_83},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/BroderFSU92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/BrownG92,
author = {Carolyn Brown and
Doug Gurr},
editor = {Werner Kuich},
title = {Timing Petri Nets Categorically},
booktitle = {Automata, Languages and Programming, 19th International Colloquium,
ICALP92, Vienna, Austria, July 13-17, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {623},
pages = {571--582},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55719-9\_105},
doi = {10.1007/3-540-55719-9\_105},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/BrownG92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Buchberger92,
author = {Bruno Buchberger},
editor = {Werner Kuich},
title = {Gr{\"{o}}bner Bases: An Introduction},
booktitle = {Automata, Languages and Programming, 19th International Colloquium,
ICALP92, Vienna, Austria, July 13-17, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {623},
pages = {378--379},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55719-9\_89},
doi = {10.1007/3-540-55719-9\_89},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Buchberger92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Bundgen92,
author = {Reinhard B{\"{u}}ndgen},
editor = {Werner Kuich},
title = {Buchberger's Algorithm: The Term Rewriter's Point of View (Extended
Abstract)},
booktitle = {Automata, Languages and Programming, 19th International Colloquium,
ICALP92, Vienna, Austria, July 13-17, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {623},
pages = {380--391},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55719-9\_90},
doi = {10.1007/3-540-55719-9\_90},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Bundgen92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/BuntrockL92,
author = {Gerhard Buntrock and
Krzysztof Lorys},
editor = {Werner Kuich},
title = {On Growing Context-Sensitive Languages},
booktitle = {Automata, Languages and Programming, 19th International Colloquium,
ICALP92, Vienna, Austria, July 13-17, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {623},
pages = {77--88},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55719-9\_65},
doi = {10.1007/3-540-55719-9\_65},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/BuntrockL92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/ChangMP92,
author = {Edward Y. Chang and
Zohar Manna and
Amir Pnueli},
editor = {Werner Kuich},
title = {Characterization of Temporal Property Classes},
booktitle = {Automata, Languages and Programming, 19th International Colloquium,
ICALP92, Vienna, Austria, July 13-17, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {623},
pages = {474--486},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55719-9\_97},
doi = {10.1007/3-540-55719-9\_97},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/ChangMP92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/ChazelleR92,
author = {Bernard Chazelle and
Burton Rosenberg},
editor = {Werner Kuich},
title = {Lower Bounds on the Complexity of Simplex Range Reporting on a Pointer
Machine},
booktitle = {Automata, Languages and Programming, 19th International Colloquium,
ICALP92, Vienna, Austria, July 13-17, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {623},
pages = {439--449},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55719-9\_95},
doi = {10.1007/3-540-55719-9\_95},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/ChazelleR92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/CleavelandSZ92,
author = {Rance Cleaveland and
Scott A. Smolka and
Amy E. Zwarico},
editor = {Werner Kuich},
title = {Testing Preorders for Probabilistic Processes},
booktitle = {Automata, Languages and Programming, 19th International Colloquium,
ICALP92, Vienna, Austria, July 13-17, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {623},
pages = {708--719},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55719-9\_116},
doi = {10.1007/3-540-55719-9\_116},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/CleavelandSZ92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/ClerboutRZ92,
author = {Mireille Clerbout and
Yves Roos and
Wieslaw Zielonka},
editor = {Werner Kuich},
title = {Semi-Commutations and Rational Expressions},
booktitle = {Automata, Languages and Programming, 19th International Colloquium,
ICALP92, Vienna, Austria, July 13-17, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {623},
pages = {113--125},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55719-9\_68},
doi = {10.1007/3-540-55719-9\_68},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icalp/ClerboutRZ92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Comon92,
author = {Hubert Comon},
editor = {Werner Kuich},
title = {Completion of Rewrite Systems with Membership Constraints},
booktitle = {Automata, Languages and Programming, 19th International Colloquium,
ICALP92, Vienna, Austria, July 13-17, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {623},
pages = {392--403},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55719-9\_91},
doi = {10.1007/3-540-55719-9\_91},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Comon92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/CortesiFW92,
author = {Agostino Cortesi and
Gilberto Fil{\'{e}} and
William H. Winsborough},
editor = {Werner Kuich},
title = {Comparison of Abstract Interpretations},
booktitle = {Automata, Languages and Programming, 19th International Colloquium,
ICALP92, Vienna, Austria, July 13-17, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {623},
pages = {521--532},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55719-9\_101},
doi = {10.1007/3-540-55719-9\_101},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icalp/CortesiFW92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Debray92,
author = {Saumya K. Debray},
editor = {Werner Kuich},
title = {On the Complexity of Dataflow Analysis of Logic Programs},
booktitle = {Automata, Languages and Programming, 19th International Colloquium,
ICALP92, Vienna, Austria, July 13-17, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {623},
pages = {509--520},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55719-9\_100},
doi = {10.1007/3-540-55719-9\_100},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Debray92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/DeganoP92,
author = {Pierpaolo Degano and
Corrado Priami},
editor = {Werner Kuich},
title = {Proved Trees},
booktitle = {Automata, Languages and Programming, 19th International Colloquium,
ICALP92, Vienna, Austria, July 13-17, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {623},
pages = {629--640},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55719-9\_110},
doi = {10.1007/3-540-55719-9\_110},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/DeganoP92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/DietzfelbingerGMP92,
author = {Martin Dietzfelbinger and
Joseph Gil and
Yossi Matias and
Nicholas Pippenger},
editor = {Werner Kuich},
title = {Polynomial Hash Functions Are Reliable (Extended Abstract)},
booktitle = {Automata, Languages and Programming, 19th International Colloquium,
ICALP92, Vienna, Austria, July 13-17, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {623},
pages = {235--246},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55719-9\_77},
doi = {10.1007/3-540-55719-9\_77},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/DietzfelbingerGMP92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Engelfriet92,
author = {Joost Engelfriet},
editor = {Werner Kuich},
title = {A Greibach Normal Form for Context-free Graph Grammars},
booktitle = {Automata, Languages and Programming, 19th International Colloquium,
ICALP92, Vienna, Austria, July 13-17, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {623},
pages = {138--149},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55719-9\_70},
doi = {10.1007/3-540-55719-9\_70},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Engelfriet92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/FixFG92,
author = {Limor Fix and
Nissim Francez and
Orna Grumberg},
editor = {Werner Kuich},
title = {Program Composition via Unification},
booktitle = {Automata, Languages and Programming, 19th International Colloquium,
ICALP92, Vienna, Austria, July 13-17, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {623},
pages = {672--684},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55719-9\_113},
doi = {10.1007/3-540-55719-9\_113},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/FixFG92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Flajolet92,
author = {Philippe Flajolet},
editor = {Werner Kuich},
title = {Analytic Analysis of Algorithms},
booktitle = {Automata, Languages and Programming, 19th International Colloquium,
ICALP92, Vienna, Austria, July 13-17, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {623},
pages = {186--210},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55719-9\_74},
doi = {10.1007/3-540-55719-9\_74},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Flajolet92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/GastinP92,
author = {Paul Gastin and
Antoine Petit},
editor = {Werner Kuich},
title = {Asynchronous Cellular Automata for Infinite Traces},
booktitle = {Automata, Languages and Programming, 19th International Colloquium,
ICALP92, Vienna, Austria, July 13-17, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {623},
pages = {583--594},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55719-9\_106},
doi = {10.1007/3-540-55719-9\_106},
timestamp = {Thu, 14 Dec 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icalp/GastinP92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Hagerup92,
author = {Torben Hagerup},
editor = {Werner Kuich},
title = {Fast Integer Merging on the {EREW} {PRAM}},
booktitle = {Automata, Languages and Programming, 19th International Colloquium,
ICALP92, Vienna, Austria, July 13-17, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {623},
pages = {318--329},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55719-9\_84},
doi = {10.1007/3-540-55719-9\_84},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Hagerup92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/HenzingerMP92,
author = {Thomas A. Henzinger and
Zohar Manna and
Amir Pnueli},
editor = {Werner Kuich},
title = {What Good Are Digital Clocks?},
booktitle = {Automata, Languages and Programming, 19th International Colloquium,
ICALP92, Vienna, Austria, July 13-17, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {623},
pages = {545--558},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55719-9\_103},
doi = {10.1007/3-540-55719-9\_103},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/HenzingerMP92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/HoogersKT92,
author = {P. W. Hoogers and
H. C. M. Kleijn and
P. S. Thiagarajan},
editor = {Werner Kuich},
title = {A Trace Semantics for Petri Nets (Extended Abstract)},
booktitle = {Automata, Languages and Programming, 19th International Colloquium,
ICALP92, Vienna, Austria, July 13-17, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {623},
pages = {595--604},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55719-9\_107},
doi = {10.1007/3-540-55719-9\_107},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/HoogersKT92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/IbarraT92,
author = {Oscar H. Ibarra and
Nicholas Q. Tr{\^{a}}n},
editor = {Werner Kuich},
title = {New Results Concerning Synchronized Finite Automata},
booktitle = {Automata, Languages and Programming, 19th International Colloquium,
ICALP92, Vienna, Austria, July 13-17, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {623},
pages = {126--137},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55719-9\_69},
doi = {10.1007/3-540-55719-9\_69},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/IbarraT92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/KarhumakiPR92,
author = {Juhani Karhum{\"{a}}ki and
Wojciech Plandowski and
Wojciech Rytter},
editor = {Werner Kuich},
title = {Polynomial Size Test Sets for Context-Free Languages},
booktitle = {Automata, Languages and Programming, 19th International Colloquium,
ICALP92, Vienna, Austria, July 13-17, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {623},
pages = {53--64},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55719-9\_63},
doi = {10.1007/3-540-55719-9\_63},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/KarhumakiPR92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Keranen92,
author = {Veikko Ker{\"{a}}nen},
editor = {Werner Kuich},
title = {Abelian Squares are Avoidable on 4 Letters},
booktitle = {Automata, Languages and Programming, 19th International Colloquium,
ICALP92, Vienna, Austria, July 13-17, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {623},
pages = {41--52},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55719-9\_62},
doi = {10.1007/3-540-55719-9\_62},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Keranen92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/KhullerT92,
author = {Samir Khuller and
Ramakrishna Thurimella},
editor = {Werner Kuich},
title = {Approximation Algorithms for Graph Augmentation},
booktitle = {Automata, Languages and Programming, 19th International Colloquium,
ICALP92, Vienna, Austria, July 13-17, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {623},
pages = {330--341},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55719-9\_85},
doi = {10.1007/3-540-55719-9\_85},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/KhullerT92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/KirschenhoferPS92,
author = {Peter Kirschenhofer and
Helmut Prodinger and
Wojciech Szpankowski},
editor = {Werner Kuich},
title = {How to Count Quickly and Accurately: {A} Unified Analysis of Probabilistic
Counting and Other Related Problems},
booktitle = {Automata, Languages and Programming, 19th International Colloquium,
ICALP92, Vienna, Austria, July 13-17, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {623},
pages = {211--222},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55719-9\_75},
doi = {10.1007/3-540-55719-9\_75},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/KirschenhoferPS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/KolaitisV92,
author = {Phokion G. Kolaitis and
Moshe Y. Vardi},
editor = {Werner Kuich},
title = {Infinitary Logic for Computer Science},
booktitle = {Automata, Languages and Programming, 19th International Colloquium,
ICALP92, Vienna, Austria, July 13-17, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {623},
pages = {450--473},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55719-9\_96},
doi = {10.1007/3-540-55719-9\_96},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/KolaitisV92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Krob92,
author = {Daniel Krob},
editor = {Werner Kuich},
title = {The Equality Problem for Rational Series with Multiplicities in the
Tropical Semiring is Undecidable},
booktitle = {Automata, Languages and Programming, 19th International Colloquium,
ICALP92, Vienna, Austria, July 13-17, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {623},
pages = {101--112},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55719-9\_67},
doi = {10.1007/3-540-55719-9\_67},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Krob92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/LaenensVZ92,
author = {Els Laenens and
Dirk Vermeir and
Carlo Zaniolo},
editor = {Werner Kuich},
title = {Logic Programming Semantics Made Easy},
booktitle = {Automata, Languages and Programming, 19th International Colloquium,
ICALP92, Vienna, Austria, July 13-17, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {623},
pages = {499--508},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55719-9\_99},
doi = {10.1007/3-540-55719-9\_99},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/LaenensVZ92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/LiV92,
author = {Ming Li and
Paul M. B. Vit{\'{a}}nyi},
editor = {Werner Kuich},
title = {Philosophical Issues in Kolmogorov Complexity},
booktitle = {Automata, Languages and Programming, 19th International Colloquium,
ICALP92, Vienna, Austria, July 13-17, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {623},
pages = {1--15},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55719-9\_59},
doi = {10.1007/3-540-55719-9\_59},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/LiV92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Mansour92,
author = {Yishay Mansour},
editor = {Werner Kuich},
title = {Randomized Interpolation and Approximation of Sparse Polynomials},
booktitle = {Automata, Languages and Programming, 19th International Colloquium,
ICALP92, Vienna, Austria, July 13-17, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {623},
pages = {261--272},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55719-9\_79},
doi = {10.1007/3-540-55719-9\_79},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Mansour92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/MatousekS92,
author = {Jir{\'{\i}} Matousek and
Raimund Seidel},
editor = {Werner Kuich},
title = {A Tail Estimate for Mulmuley's Segment Intersection Algorithm},
booktitle = {Automata, Languages and Programming, 19th International Colloquium,
ICALP92, Vienna, Austria, July 13-17, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {623},
pages = {427--438},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55719-9\_94},
doi = {10.1007/3-540-55719-9\_94},
timestamp = {Thu, 24 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icalp/MatousekS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/MilnerS92,
author = {Robin Milner and
Davide Sangiorgi},
editor = {Werner Kuich},
title = {Barbed Bisimulation},
booktitle = {Automata, Languages and Programming, 19th International Colloquium,
ICALP92, Vienna, Austria, July 13-17, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {623},
pages = {685--695},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55719-9\_114},
doi = {10.1007/3-540-55719-9\_114},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/MilnerS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/MollerT92,
author = {Faron Moller and
Chris M. N. Tofts},
editor = {Werner Kuich},
title = {Behavioural Abstraction in {TCCS}},
booktitle = {Automata, Languages and Programming, 19th International Colloquium,
ICALP92, Vienna, Austria, July 13-17, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {623},
pages = {559--570},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55719-9\_104},
doi = {10.1007/3-540-55719-9\_104},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/MollerT92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/MontanariY92,
author = {Ugo Montanari and
Daniel Yankelevich},
editor = {Werner Kuich},
title = {A Parametric Approach to Localities},
booktitle = {Automata, Languages and Programming, 19th International Colloquium,
ICALP92, Vienna, Austria, July 13-17, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {623},
pages = {617--628},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55719-9\_109},
doi = {10.1007/3-540-55719-9\_109},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/MontanariY92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Nishida92,
author = {Taishin Y. Nishida},
editor = {Werner Kuich},
title = {Quasi-Deterministic 0L Systems},
booktitle = {Automata, Languages and Programming, 19th International Colloquium,
ICALP92, Vienna, Austria, July 13-17, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {623},
pages = {65--76},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55719-9\_64},
doi = {10.1007/3-540-55719-9\_64},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Nishida92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Olderog92,
author = {Ernst{-}R{\"{u}}diger Olderog},
editor = {Werner Kuich},
title = {Interfaces between Languages for Communicating Systems},
booktitle = {Automata, Languages and Programming, 19th International Colloquium,
ICALP92, Vienna, Austria, July 13-17, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {623},
pages = {641--655},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55719-9\_111},
doi = {10.1007/3-540-55719-9\_111},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Olderog92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Ong92,
author = {C.{-}H. Luke Ong},
editor = {Werner Kuich},
title = {Lazy Lambda Calculus: Theories, Models and Local Structure Characterization
(Extended Abstract)},
booktitle = {Automata, Languages and Programming, 19th International Colloquium,
ICALP92, Vienna, Austria, July 13-17, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {623},
pages = {487--498},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55719-9\_98},
doi = {10.1007/3-540-55719-9\_98},
timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Ong92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/PatersonY92,
author = {Mike Paterson and
F. Frances Yao},
editor = {Werner Kuich},
title = {On Nearest-Neighbor Graphs},
booktitle = {Automata, Languages and Programming, 19th International Colloquium,
ICALP92, Vienna, Austria, July 13-17, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {623},
pages = {416--426},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55719-9\_93},
doi = {10.1007/3-540-55719-9\_93},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/PatersonY92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/PeladeauP92,
author = {Pierre P{\'{e}}ladeau and
Andreas Podelski},
editor = {Werner Kuich},
title = {On Reverse and General Definite Tree Languages (Extended Abstract)},
booktitle = {Automata, Languages and Programming, 19th International Colloquium,
ICALP92, Vienna, Austria, July 13-17, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {623},
pages = {150--161},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55719-9\_71},
doi = {10.1007/3-540-55719-9\_71},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/PeladeauP92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/PhoaF92,
author = {Wesley Phoa and
Michael P. Fourman},
editor = {Werner Kuich},
title = {A Proposed Categorial Semantics for Pure {ML}},
booktitle = {Automata, Languages and Programming, 19th International Colloquium,
ICALP92, Vienna, Austria, July 13-17, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {623},
pages = {533--544},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55719-9\_102},
doi = {10.1007/3-540-55719-9\_102},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/PhoaF92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Poutre92,
author = {Johannes A. La Poutr{\'{e}}},
editor = {Werner Kuich},
title = {Maintenance of Triconnected Components of Graphs (Extended Abstract)},
booktitle = {Automata, Languages and Programming, 19th International Colloquium,
ICALP92, Vienna, Austria, July 13-17, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {623},
pages = {354--365},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55719-9\_87},
doi = {10.1007/3-540-55719-9\_87},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Poutre92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Rabinovich92,
author = {Alexander Moshe Rabinovich},
editor = {Werner Kuich},
title = {Checking Equivalences Between Concurrent Systems of Finite Agents
(Extended Abstract)},
booktitle = {Automata, Languages and Programming, 19th International Colloquium,
ICALP92, Vienna, Austria, July 13-17, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {623},
pages = {696--707},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55719-9\_115},
doi = {10.1007/3-540-55719-9\_115},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icalp/Rabinovich92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Rote92,
author = {G{\"{u}}nter Rote},
editor = {Werner Kuich},
title = {A New Metric Between Polygons and How to Compute it},
booktitle = {Automata, Languages and Programming, 19th International Colloquium,
ICALP92, Vienna, Austria, July 13-17, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {623},
pages = {404--415},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55719-9\_92},
doi = {10.1007/3-540-55719-9\_92},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Rote92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/SannellaT92,
author = {Donald Sannella and
Andrzej Tarlecki},
editor = {Werner Kuich},
title = {Towards Formal Development of Programs from Algebraic Specifications:
Model-Theoretic Foundations},
booktitle = {Automata, Languages and Programming, 19th International Colloquium,
ICALP92, Vienna, Austria, July 13-17, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {623},
pages = {656--671},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55719-9\_112},
doi = {10.1007/3-540-55719-9\_112},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/SannellaT92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/SantisPY92,
author = {Alfredo De Santis and
Giuseppe Persiano and
Moti Yung},
editor = {Werner Kuich},
title = {One-Message Statistical Zero-Knowledge Proofs and Space-Bounded Verifier},
booktitle = {Automata, Languages and Programming, 19th International Colloquium,
ICALP92, Vienna, Austria, July 13-17, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {623},
pages = {28--40},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55719-9\_61},
doi = {10.1007/3-540-55719-9\_61},
timestamp = {Sun, 06 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/SantisPY92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Schmid92,
author = {Ulrich Schmid},
editor = {Werner Kuich},
title = {The Average CRI-Length of a Tree Collision Resolution Algorithm in
Presence of Multiplicity-Dependent Capture Effects},
booktitle = {Automata, Languages and Programming, 19th International Colloquium,
ICALP92, Vienna, Austria, July 13-17, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {623},
pages = {223--234},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55719-9\_76},
doi = {10.1007/3-540-55719-9\_76},
timestamp = {Mon, 20 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icalp/Schmid92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/SekarRR92,
author = {R. C. Sekar and
R. Ramesh and
I. V. Ramakrishnan},
editor = {Werner Kuich},
title = {Adaptive Pattern Matching},
booktitle = {Automata, Languages and Programming, 19th International Colloquium,
ICALP92, Vienna, Austria, July 13-17, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {623},
pages = {247--260},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55719-9\_78},
doi = {10.1007/3-540-55719-9\_78},
timestamp = {Mon, 03 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/SekarRR92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Shallit92,
author = {Jeffrey O. Shallit},
editor = {Werner Kuich},
title = {Numeration Systems, Linear Recurrences, and Regular Sets (Extended
Abstract)},
booktitle = {Automata, Languages and Programming, 19th International Colloquium,
ICALP92, Vienna, Austria, July 13-17, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {623},
pages = {89--100},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55719-9\_66},
doi = {10.1007/3-540-55719-9\_66},
timestamp = {Mon, 09 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icalp/Shallit92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/SheuL92,
author = {Ming{-}Jye Sheu and
Timothy J. Long},
editor = {Werner Kuich},
title = {{UP} and the Low and High Hierarchies: {A} Relativized Separation},
booktitle = {Automata, Languages and Programming, 19th International Colloquium,
ICALP92, Vienna, Austria, July 13-17, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {623},
pages = {174--185},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55719-9\_73},
doi = {10.1007/3-540-55719-9\_73},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/SheuL92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Straubing92,
author = {Howard Straubing},
editor = {Werner Kuich},
title = {Circuit Complexity and the Expressive Power of Generalized First-Order
Formulas},
booktitle = {Automata, Languages and Programming, 19th International Colloquium,
ICALP92, Vienna, Austria, July 13-17, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {623},
pages = {16--27},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55719-9\_60},
doi = {10.1007/3-540-55719-9\_60},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Straubing92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/VaziraniY92,
author = {Vijay V. Vazirani and
Mihalis Yannakakis},
editor = {Werner Kuich},
title = {Suboptimal Cuts: Their Enumeration, Weight and Number (Extended Abstract)},
booktitle = {Automata, Languages and Programming, 19th International Colloquium,
ICALP92, Vienna, Austria, July 13-17, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {623},
pages = {366--377},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55719-9\_88},
doi = {10.1007/3-540-55719-9\_88},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/VaziraniY92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Vogler92,
author = {Walter Vogler},
editor = {Werner Kuich},
title = {Asynchronous Communication of Petri Nets and the Refinement of Transitions},
booktitle = {Automata, Languages and Programming, 19th International Colloquium,
ICALP92, Vienna, Austria, July 13-17, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {623},
pages = {605--616},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55719-9\_108},
doi = {10.1007/3-540-55719-9\_108},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Vogler92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Westbrook92,
author = {Jeffery R. Westbrook},
editor = {Werner Kuich},
title = {Fast Incremental Planarity Testing},
booktitle = {Automata, Languages and Programming, 19th International Colloquium,
ICALP92, Vienna, Austria, July 13-17, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {623},
pages = {342--353},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55719-9\_86},
doi = {10.1007/3-540-55719-9\_86},
timestamp = {Mon, 08 Apr 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Westbrook92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Zhang92,
author = {Guo{-}Qiang Zhang},
editor = {Werner Kuich},
title = {Disjunctive Systems and L-Domains},
booktitle = {Automata, Languages and Programming, 19th International Colloquium,
ICALP92, Vienna, Austria, July 13-17, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {623},
pages = {284--295},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55719-9\_81},
doi = {10.1007/3-540-55719-9\_81},
timestamp = {Fri, 15 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Zhang92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icalp/1992,
editor = {Werner Kuich},
title = {Automata, Languages and Programming, 19th International Colloquium,
ICALP92, Vienna, Austria, July 13-17, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {623},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55719-9},
doi = {10.1007/3-540-55719-9},
isbn = {3-540-55719-9},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/1992.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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 2024-04-24 22:33 CEST 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:
