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/icalp85.bht:"
download as .bib file
@inproceedings{DBLP:conf/icalp/BakkerK85,
author = {J. W. de Bakker and
Joost N. Kok},
editor = {Wilfried Brauer},
title = {Towards a Uniform Topological Treatment of Streams and Functions on
Streams},
booktitle = {Automata, Languages and Programming, 12th Colloquium, Nafplion, Greece,
July 15-19, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {194},
pages = {140--148},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/BFb0015739},
doi = {10.1007/BFB0015739},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/BakkerK85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/BakkerMO85,
author = {J. W. de Bakker and
John{-}Jules Ch. Meyer and
Ernst{-}R{\"{u}}diger Olderog},
editor = {Wilfried Brauer},
title = {Infinite Streams and Finite Observations in the Semantics of Uniform
Concurrency},
booktitle = {Automata, Languages and Programming, 12th Colloquium, Nafplion, Greece,
July 15-19, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {194},
pages = {149--157},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/BFb0015740},
doi = {10.1007/BFB0015740},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/BakkerMO85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/BeauquierN85,
author = {Dani{\`{e}}le Beauquier and
Maurice Nivat},
editor = {Wilfried Brauer},
title = {About Rational Sets of Factors of a Bi-Infinite Word},
booktitle = {Automata, Languages and Programming, 12th Colloquium, Nafplion, Greece,
July 15-19, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {194},
pages = {33--42},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/BFb0015728},
doi = {10.1007/BFB0015728},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/BeauquierN85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Ben-OrGMR85,
author = {Michael Ben{-}Or and
Oded Goldreich and
Silvio Micali and
Ronald L. Rivest},
editor = {Wilfried Brauer},
title = {A Fair Protocol for Signing Contracts (Extended Abstract)},
booktitle = {Automata, Languages and Programming, 12th Colloquium, Nafplion, Greece,
July 15-19, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {194},
pages = {43--52},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/BFb0015729},
doi = {10.1007/BFB0015729},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Ben-OrGMR85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/BilardiP85,
author = {Gianfranco Bilardi and
Franco P. Preparata},
editor = {Wilfried Brauer},
title = {The Influence of Key Length on the Area-Time Complexity of Sorting},
booktitle = {Automata, Languages and Programming, 12th Colloquium, Nafplion, Greece,
July 15-19, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {194},
pages = {53--62},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/BFb0015730},
doi = {10.1007/BFB0015730},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/BilardiP85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Bouge85,
author = {Luc Boug{\'{e}}},
editor = {Wilfried Brauer},
title = {Repeated Synchronous Snapshots and Their Implementation in {CSP} (Extended
Abstract)},
booktitle = {Automata, Languages and Programming, 12th Colloquium, Nafplion, Greece,
July 15-19, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {194},
pages = {63--70},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/BFb0015731},
doi = {10.1007/BFB0015731},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Bouge85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Bra85,
author = {Paul De Bra},
editor = {Wilfried Brauer},
title = {Imposed-Functional Dependencies Inducing Horizontal Decompositions},
booktitle = {Automata, Languages and Programming, 12th Colloquium, Nafplion, Greece,
July 15-19, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {194},
pages = {158--170},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/BFb0015741},
doi = {10.1007/BFB0015741},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Bra85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/BucherEH85,
author = {Walter Bucher and
Andrzej Ehrenfeucht and
David Haussler},
editor = {Wilfried Brauer},
title = {On Total Regulators Generated by Derivation Relations},
booktitle = {Automata, Languages and Programming, 12th Colloquium, Nafplion, Greece,
July 15-19, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {194},
pages = {71--79},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/BFb0015732},
doi = {10.1007/BFB0015732},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/BucherEH85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/ChazelleE85,
author = {Bernard Chazelle and
Herbert Edelsbrunner},
editor = {Wilfried Brauer},
title = {Optimal Solutions for a Class of Point Retrieval Problems},
booktitle = {Automata, Languages and Programming, 12th Colloquium, Nafplion, Greece,
July 15-19, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {194},
pages = {80--89},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/BFb0015733},
doi = {10.1007/BFB0015733},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/ChazelleE85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/ChazelleG85,
author = {Bernard Chazelle and
Leonidas J. Guibas},
editor = {Wilfried Brauer},
title = {Fractional Cascading: {A} Data Structuring Technique with Geometric
Applications},
booktitle = {Automata, Languages and Programming, 12th Colloquium, Nafplion, Greece,
July 15-19, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {194},
pages = {90--100},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/BFb0015734},
doi = {10.1007/BFB0015734},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/ChazelleG85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Chrobak85,
author = {Marek Chrobak},
editor = {Wilfried Brauer},
title = {Hierarchies of One-Way Multihead Automata Languages},
booktitle = {Automata, Languages and Programming, 12th Colloquium, Nafplion, Greece,
July 15-19, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {194},
pages = {101--110},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/BFb0015735},
doi = {10.1007/BFB0015735},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Chrobak85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Cole85,
author = {Richard Cole},
editor = {Wilfried Brauer},
title = {Partitioning Point Sets in 4 Dimensions},
booktitle = {Automata, Languages and Programming, 12th Colloquium, Nafplion, Greece,
July 15-19, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {194},
pages = {111--119},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/BFb0015736},
doi = {10.1007/BFB0015736},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Cole85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Coppo85,
author = {Mario Coppo},
editor = {Wilfried Brauer},
title = {A Completeness Theorem for Recursively Defined Types},
booktitle = {Automata, Languages and Programming, 12th Colloquium, Nafplion, Greece,
July 15-19, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {194},
pages = {120--129},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/BFb0015737},
doi = {10.1007/BFB0015737},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Coppo85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Curien85,
author = {Pierre{-}Louis Curien},
editor = {Wilfried Brauer},
title = {Categorial Combinatory Logic},
booktitle = {Automata, Languages and Programming, 12th Colloquium, Nafplion, Greece,
July 15-19, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {194},
pages = {130--139},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/BFb0015738},
doi = {10.1007/BFB0015738},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Curien85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/EngelfrietV85,
author = {Joost Engelfriet and
Heiko Vogler},
editor = {Wilfried Brauer},
title = {Characterization of High Level Tree Transducers},
booktitle = {Automata, Languages and Programming, 12th Colloquium, Nafplion, Greece,
July 15-19, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {194},
pages = {171--178},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/BFb0015742},
doi = {10.1007/BFB0015742},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/EngelfrietV85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Flajolet85,
author = {Philippe Flajolet},
editor = {Wilfried Brauer},
title = {Ambiguity and Transcendence},
booktitle = {Automata, Languages and Programming, 12th Colloquium, Nafplion, Greece,
July 15-19, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {194},
pages = {179--188},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/BFb0015743},
doi = {10.1007/BFB0015743},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Flajolet85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Fortune85,
author = {Steven Fortune},
editor = {Wilfried Brauer},
title = {A Fast Algorithm for Polygon Containment by Translation (Extended
Abstract)},
booktitle = {Automata, Languages and Programming, 12th Colloquium, Nafplion, Greece,
July 15-19, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {194},
pages = {189--198},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/BFb0015744},
doi = {10.1007/BFB0015744},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Fortune85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Furer85,
author = {Martin F{\"{u}}rer},
editor = {Wilfried Brauer},
title = {Deterministic and Las Vegas Primality Testing Algorithms},
booktitle = {Automata, Languages and Programming, 12th Colloquium, Nafplion, Greece,
July 15-19, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {194},
pages = {199--209},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/BFb0015745},
doi = {10.1007/BFB0015745},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icalp/Furer85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/GabowS85,
author = {Harold N. Gabow and
Matthias F. M. Stallmann},
editor = {Wilfried Brauer},
title = {Efficient Algorithms for Graphic Matroid Intersection and Parity (Extended
Abstract)},
booktitle = {Automata, Languages and Programming, 12th Colloquium, Nafplion, Greece,
July 15-19, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {194},
pages = {210--220},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/BFb0015746},
doi = {10.1007/BFB0015746},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/GabowS85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/GoguenJM85,
author = {Joseph A. Goguen and
Jean{-}Pierre Jouannaud and
Jos{\'{e}} Meseguer},
editor = {Wilfried Brauer},
title = {Operational Semantics for Order-Sorted Algebra},
booktitle = {Automata, Languages and Programming, 12th Colloquium, Nafplion, Greece,
July 15-19, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {194},
pages = {221--231},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/BFb0015747},
doi = {10.1007/BFB0015747},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/GoguenJM85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Gunter85,
author = {Carl A. Gunter},
editor = {Wilfried Brauer},
title = {A Universal Domain Technique for Profinite Posets},
booktitle = {Automata, Languages and Programming, 12th Colloquium, Nafplion, Greece,
July 15-19, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {194},
pages = {232--243},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/BFb0015748},
doi = {10.1007/BFB0015748},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Gunter85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Hansel85,
author = {Georges Hansel},
editor = {Wilfried Brauer},
title = {A Simple Proof of the Skolem-Mahler-Lech Theorem},
booktitle = {Automata, Languages and Programming, 12th Colloquium, Nafplion, Greece,
July 15-19, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {194},
pages = {244--249},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/BFb0015749},
doi = {10.1007/BFB0015749},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Hansel85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/HartmanisI85,
author = {Juris Hartmanis and
Neil Immerman},
editor = {Wilfried Brauer},
title = {On Complete Problems for NP{\textdollar}{\textbackslash}cap{\textdollar}CoNP},
booktitle = {Automata, Languages and Programming, 12th Colloquium, Nafplion, Greece,
July 15-19, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {194},
pages = {250--259},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/BFb0015750},
doi = {10.1007/BFB0015750},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/HartmanisI85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Hennessy85,
author = {Matthew Hennessy},
editor = {Wilfried Brauer},
title = {An Algebraic Theory of Fair Asynchronous Communicating Processes},
booktitle = {Automata, Languages and Programming, 12th Colloquium, Nafplion, Greece,
July 15-19, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {194},
pages = {260--269},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/BFb0015751},
doi = {10.1007/BFB0015751},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Hennessy85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Hortala-GonzalezR85,
author = {Maria Teresa Hortal{\'{a}}{-}Gonz{\'{a}}lez and
Mario Rodr{\'{\i}}guez{-}Artalejo},
editor = {Wilfried Brauer},
title = {Hoare's Logic for Nondeterministic Regular Programs: {A} Nonstandard
Completeness Theorem},
booktitle = {Automata, Languages and Programming, 12th Colloquium, Nafplion, Greece,
July 15-19, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {194},
pages = {270--280},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/BFb0015752},
doi = {10.1007/BFB0015752},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Hortala-GonzalezR85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Hrbacek85,
author = {Karel Hrbacek},
editor = {Wilfried Brauer},
title = {Powerdomains as Algebraic Lattices (Preliminary Report)},
booktitle = {Automata, Languages and Programming, 12th Colloquium, Nafplion, Greece,
July 15-19, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {194},
pages = {281--289},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/BFb0015753},
doi = {10.1007/BFB0015753},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Hrbacek85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Jerrum85,
author = {Mark Jerrum},
editor = {Wilfried Brauer},
title = {Random Generation of Combinatorial Structures from a Uniform Distribution
(Extended Abstract)},
booktitle = {Automata, Languages and Programming, 12th Colloquium, Nafplion, Greece,
July 15-19, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {194},
pages = {290--299},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/BFb0015754},
doi = {10.1007/BFB0015754},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Jerrum85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Johnson85,
author = {J. Howard Johnson},
editor = {Wilfried Brauer},
title = {Do Rational Equivalence Relations have Regular Cross-Sections?},
booktitle = {Automata, Languages and Programming, 12th Colloquium, Nafplion, Greece,
July 15-19, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {194},
pages = {300--309},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/BFb0015755},
doi = {10.1007/BFB0015755},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Johnson85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Jung85,
author = {Hermann Jung},
editor = {Wilfried Brauer},
title = {On Probabilistic Time and Space},
booktitle = {Automata, Languages and Programming, 12th Colloquium, Nafplion, Greece,
July 15-19, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {194},
pages = {310--317},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/BFb0015756},
doi = {10.1007/BFB0015756},
timestamp = {Fri, 22 Mar 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icalp/Jung85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/KarlssonMR85,
author = {Rolf G. Karlsson and
J. Ian Munro and
Edward L. Robertson},
editor = {Wilfried Brauer},
title = {The Nearest Neighbor Problem on Bounded Domains},
booktitle = {Automata, Languages and Programming, 12th Colloquium, Nafplion, Greece,
July 15-19, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {194},
pages = {318--327},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/BFb0015757},
doi = {10.1007/BFB0015757},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/KarlssonMR85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/KaufmannM85,
author = {Michael Kaufmann and
Kurt Mehlhorn},
editor = {Wilfried Brauer},
title = {Routing Through a Generalized Switchbox},
booktitle = {Automata, Languages and Programming, 12th Colloquium, Nafplion, Greece,
July 15-19, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {194},
pages = {328--337},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/BFb0015758},
doi = {10.1007/BFB0015758},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/KaufmannM85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Keranen85,
author = {Veikko Ker{\"{a}}nen},
editor = {Wilfried Brauer},
title = {On k-Repetition Free Words Generated by Length Uniform Morphisms Over
a Binary Alphabet},
booktitle = {Automata, Languages and Programming, 12th Colloquium, Nafplion, Greece,
July 15-19, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {194},
pages = {338--347},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/BFb0015759},
doi = {10.1007/BFB0015759},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Keranen85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Kortelainen85,
author = {Juha Kortelainen},
editor = {Wilfried Brauer},
title = {Every Commutative Quasirational Language is Regular},
booktitle = {Automata, Languages and Programming, 12th Colloquium, Nafplion, Greece,
July 15-19, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {194},
pages = {348--355},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/BFb0015760},
doi = {10.1007/BFB0015760},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Kortelainen85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/KurtzM85,
author = {Thomas G. Kurtz and
Udi Manber},
editor = {Wilfried Brauer},
title = {A Probabilistic Distributed Algorithm for Set Intersection and Its
Analysis (Preliminary Version)},
booktitle = {Automata, Languages and Programming, 12th Colloquium, Nafplion, Greece,
July 15-19, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {194},
pages = {356--362},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/BFb0015761},
doi = {10.1007/BFB0015761},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/KurtzM85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/LandauYG85,
author = {Gad M. Landau and
Mordechai M. Yung and
Zvi Galil},
editor = {Wilfried Brauer},
title = {Distributed Algorithms in Synchronous Broadcasting Networks (Extended
Abstract)},
booktitle = {Automata, Languages and Programming, 12th Colloquium, Nafplion, Greece,
July 15-19, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {194},
pages = {363--372},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/BFb0015762},
doi = {10.1007/BFB0015762},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/LandauYG85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Larsen85,
author = {Kim Guldstrand Larsen},
editor = {Wilfried Brauer},
title = {A Context Dependent Equivalence between Processes},
booktitle = {Automata, Languages and Programming, 12th Colloquium, Nafplion, Greece,
July 15-19, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {194},
pages = {373--382},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/BFb0015763},
doi = {10.1007/BFB0015763},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Larsen85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Li85,
author = {Ming Li},
editor = {Wilfried Brauer},
title = {Lower Bounds by Kolmogorov-Complexity (Extended Abstract)},
booktitle = {Automata, Languages and Programming, 12th Colloquium, Nafplion, Greece,
July 15-19, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {194},
pages = {383--393},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/BFb0015764},
doi = {10.1007/BFB0015764},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Li85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Lovasz85,
author = {L{\'{a}}szl{\'{o}} Lov{\'{a}}sz},
editor = {Wilfried Brauer},
title = {Vertex Packing Algorithms},
booktitle = {Automata, Languages and Programming, 12th Colloquium, Nafplion, Greece,
July 15-19, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {194},
pages = {1--14},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/BFb0015726},
doi = {10.1007/BFB0015726},
timestamp = {Tue, 06 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Lovasz85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/LubyR85,
author = {Michael Luby and
Prabhakar Ragde},
editor = {Wilfried Brauer},
title = {A Bidirectional Shortest-Path Algorithm With Good Average-Case Behavior
(Preliminary Version)},
booktitle = {Automata, Languages and Programming, 12th Colloquium, Nafplion, Greece,
July 15-19, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {194},
pages = {394--403},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/BFb0015765},
doi = {10.1007/BFB0015765},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/LubyR85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/MainBH85,
author = {Michael G. Main and
Walter Bucher and
David Haussler},
editor = {Wilfried Brauer},
title = {Applications of an Infinite Squarefree {CO-CFL}},
booktitle = {Automata, Languages and Programming, 12th Colloquium, Nafplion, Greece,
July 15-19, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {194},
pages = {404--412},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/BFb0015766},
doi = {10.1007/BFB0015766},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/MainBH85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/MannaW85,
author = {Zohar Manna and
Richard J. Waldinger},
editor = {Wilfried Brauer},
title = {Special Relations in Automated Deduction},
booktitle = {Automata, Languages and Programming, 12th Colloquium, Nafplion, Greece,
July 15-19, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {194},
pages = {413--423},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/BFb0015767},
doi = {10.1007/BFB0015767},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/MannaW85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/MehlhornT85,
author = {Kurt Mehlhorn and
Athanasios K. Tsakalidis},
editor = {Wilfried Brauer},
title = {Dynamic Interpolation Search},
booktitle = {Automata, Languages and Programming, 12th Colloquium, Nafplion, Greece,
July 15-19, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {194},
pages = {424--434},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/BFb0015768},
doi = {10.1007/BFB0015768},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/MehlhornT85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/OrponenRS85,
author = {Pekka Orponen and
David A. Russo and
Uwe Sch{\"{o}}ning},
editor = {Wilfried Brauer},
title = {Polynomial Levelability and Maximal Complexity Cores},
booktitle = {Automata, Languages and Programming, 12th Colloquium, Nafplion, Greece,
July 15-19, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {194},
pages = {435--444},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/BFb0015769},
doi = {10.1007/BFB0015769},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icalp/OrponenRS85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Pin85,
author = {Jean{-}Eric Pin},
editor = {Wilfried Brauer},
title = {Finite Group Topology and p-Adic Topology for Free Monoids},
booktitle = {Automata, Languages and Programming, 12th Colloquium, Nafplion, Greece,
July 15-19, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {194},
pages = {445--455},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/BFb0015770},
doi = {10.1007/BFB0015770},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Pin85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Pnueli85,
author = {Amir Pnueli},
editor = {Wilfried Brauer},
title = {Linear and Branching Structures in the Semantics and Logics of Reactive
Systems},
booktitle = {Automata, Languages and Programming, 12th Colloquium, Nafplion, Greece,
July 15-19, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {194},
pages = {15--32},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/BFb0015727},
doi = {10.1007/BFB0015727},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Pnueli85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/SippuS85,
author = {Seppo Sippu and
Eljas Soisalon{-}Soininen},
editor = {Wilfried Brauer},
title = {On the Use of Relational Expressions in the Design of Efficient Algorithms
(Extended Abstract)},
booktitle = {Automata, Languages and Programming, 12th Colloquium, Nafplion, Greece,
July 15-19, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {194},
pages = {456--464},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/BFb0015771},
doi = {10.1007/BFB0015771},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/SippuS85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/SistlaVW85,
author = {A. Prasad Sistla and
Moshe Y. Vardi and
Pierre Wolper},
editor = {Wilfried Brauer},
title = {The Complementation Problem for B{\"{u}}chi Automata with Applications
to Temporal Logic (Extended Abstract)},
booktitle = {Automata, Languages and Programming, 12th Colloquium, Nafplion, Greece,
July 15-19, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {194},
pages = {465--474},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/BFb0015772},
doi = {10.1007/BFB0015772},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icalp/SistlaVW85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Stirling85,
author = {Colin Stirling},
editor = {Wilfried Brauer},
title = {A Complete Compositional Model Proof System for a Subset of {CCS}},
booktitle = {Automata, Languages and Programming, 12th Colloquium, Nafplion, Greece,
July 15-19, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {194},
pages = {475--486},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/BFb0015773},
doi = {10.1007/BFB0015773},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Stirling85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/VarmanR85,
author = {Peter J. Varman and
I. V. Ramakrishnan},
editor = {Wilfried Brauer},
title = {On Matrix Multiplication Using Array Processors},
booktitle = {Automata, Languages and Programming, 12th Colloquium, Nafplion, Greece,
July 15-19, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {194},
pages = {487--496},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/BFb0015774},
doi = {10.1007/BFB0015774},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/VarmanR85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Vishkin85,
author = {Uzi Vishkin},
editor = {Wilfried Brauer},
title = {Optimal Parallel Pattern Matching in Strings (Extended Summary)},
booktitle = {Automata, Languages and Programming, 12th Colloquium, Nafplion, Greece,
July 15-19, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {194},
pages = {497--508},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/BFb0015775},
doi = {10.1007/BFB0015775},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Vishkin85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/ZwiersRB85,
author = {Job Zwiers and
Willem P. de Roever and
Peter van Emde Boas},
editor = {Wilfried Brauer},
title = {Compositionality and Concurrent Networks: Soundness and Completeness
of a Proofsystem},
booktitle = {Automata, Languages and Programming, 12th Colloquium, Nafplion, Greece,
July 15-19, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {194},
pages = {509--519},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/BFb0015776},
doi = {10.1007/BFB0015776},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/ZwiersRB85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icalp/1985,
editor = {Wilfried Brauer},
title = {Automata, Languages and Programming, 12th Colloquium, Nafplion, Greece,
July 15-19, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {194},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/BFb0015725},
doi = {10.1007/BFB0015725},
isbn = {3-540-15650-X},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/1985.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-05-06 18:36 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:
