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/icalp84.bht:"
download as .bib file
@inproceedings{DBLP:conf/icalp/Abdallah84,
author = {M. A. Nait Abdallah},
editor = {Jan Paredaens},
title = {On the Interpretation of Infinite Computations in Logic Programming},
booktitle = {Automata, Languages and Programming, 11th Colloquium, Antwerp, Belgium,
July 16-20, 1984, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {172},
pages = {358--370},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/3-540-13345-3\_32},
doi = {10.1007/3-540-13345-3\_32},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Abdallah84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/AbiteboulG84,
author = {Serge Abiteboul and
Seymour Ginsburg},
editor = {Jan Paredaens},
title = {Tuple Sequences and Indexes},
booktitle = {Automata, Languages and Programming, 11th Colloquium, Antwerp, Belgium,
July 16-20, 1984, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {172},
pages = {41--50},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/3-540-13345-3\_3},
doi = {10.1007/3-540-13345-3\_3},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/AbiteboulG84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/AfratiPP84,
author = {Foto N. Afrati and
Christos H. Papadimitriou and
George Papageorgiou},
editor = {Jan Paredaens},
title = {The Complexity of Cubical Graphs (Extended Abstract)},
booktitle = {Automata, Languages and Programming, 11th Colloquium, Antwerp, Belgium,
July 16-20, 1984, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {172},
pages = {51--57},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/3-540-13345-3\_4},
doi = {10.1007/3-540-13345-3\_4},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/AfratiPP84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Ambos-Spies84,
author = {Klaus Ambos{-}Spies},
editor = {Jan Paredaens},
title = {P-Generic Sets},
booktitle = {Automata, Languages and Programming, 11th Colloquium, Antwerp, Belgium,
July 16-20, 1984, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {172},
pages = {58--68},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/3-540-13345-3\_5},
doi = {10.1007/3-540-13345-3\_5},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Ambos-Spies84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/AtzeniM84,
author = {Paolo Atzeni and
Nicola M. Morfuni},
editor = {Jan Paredaens},
title = {Functional Dependencies and Disjunctive Existence Constraints in Database
Relations with Null Values},
booktitle = {Automata, Languages and Programming, 11th Colloquium, Antwerp, Belgium,
July 16-20, 1984, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {172},
pages = {69--81},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/3-540-13345-3\_6},
doi = {10.1007/3-540-13345-3\_6},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/AtzeniM84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/BergstraK84,
author = {Jan A. Bergstra and
Jan Willem Klop},
editor = {Jan Paredaens},
title = {The Algebra of Recursively Defined Processes and the Algebra of Regular
Processes},
booktitle = {Automata, Languages and Programming, 11th Colloquium, Antwerp, Belgium,
July 16-20, 1984, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {172},
pages = {82--94},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/3-540-13345-3\_7},
doi = {10.1007/3-540-13345-3\_7},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/BergstraK84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Bidoit84,
author = {Michel Bidoit},
editor = {Jan Paredaens},
title = {Algebraic Specification of Exception Handling and Error Recovery by
Means of Declarations and Equations},
booktitle = {Automata, Languages and Programming, 11th Colloquium, Antwerp, Belgium,
July 16-20, 1984, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {172},
pages = {95--108},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/3-540-13345-3\_8},
doi = {10.1007/3-540-13345-3\_8},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Bidoit84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/BlumerBEHM84,
author = {Anselm Blumer and
J. Blumer and
Andrzej Ehrenfeucht and
David Haussler and
Ross M. McConnell},
editor = {Jan Paredaens},
title = {Building the Minimal {DFA} for the Set of all Subwords of a Word On-line
in Linear Time},
booktitle = {Automata, Languages and Programming, 11th Colloquium, Antwerp, Belgium,
July 16-20, 1984, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {172},
pages = {109--118},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/3-540-13345-3\_9},
doi = {10.1007/3-540-13345-3\_9},
timestamp = {Sat, 30 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/BlumerBEHM84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/ChazelleOSW84,
author = {Bernard Chazelle and
Thomas Ottmann and
Eljas Soisalon{-}Soininen and
Derick Wood},
editor = {Jan Paredaens},
title = {The Complexity and Decidability of Separation},
booktitle = {Automata, Languages and Programming, 11th Colloquium, Antwerp, Belgium,
July 16-20, 1984, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {172},
pages = {119--127},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/3-540-13345-3\_10},
doi = {10.1007/3-540-13345-3\_10},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/ChazelleOSW84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/ColbournP84,
author = {Charles J. Colbourn and
Andrzej Proskurowski},
editor = {Jan Paredaens},
title = {Concurrent Transmissions in Broadcast Networks},
booktitle = {Automata, Languages and Programming, 11th Colloquium, Antwerp, Belgium,
July 16-20, 1984, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {172},
pages = {128--136},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/3-540-13345-3\_11},
doi = {10.1007/3-540-13345-3\_11},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/ColbournP84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Crochemore84,
author = {Maxime Crochemore},
editor = {Jan Paredaens},
title = {Linear Searching for a Squre in a Word (Abstract)},
booktitle = {Automata, Languages and Programming, 11th Colloquium, Antwerp, Belgium,
July 16-20, 1984, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {172},
pages = {137},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/3-540-13345-3\_12},
doi = {10.1007/3-540-13345-3\_12},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Crochemore84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Dybjer84,
author = {Peter Dybjer},
editor = {Jan Paredaens},
title = {Domain Algebras},
booktitle = {Automata, Languages and Programming, 11th Colloquium, Antwerp, Belgium,
July 16-20, 1984, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {172},
pages = {138--150},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/3-540-13345-3\_13},
doi = {10.1007/3-540-13345-3\_13},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Dybjer84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/FaginV84,
author = {Ronald Fagin and
Moshe Y. Vardi},
editor = {Jan Paredaens},
title = {The Theory of Data Dependencies - An Overview},
booktitle = {Automata, Languages and Programming, 11th Colloquium, Antwerp, Belgium,
July 16-20, 1984, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {172},
pages = {1--22},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/3-540-13345-3\_1},
doi = {10.1007/3-540-13345-3\_1},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/FaginV84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Ferment84,
author = {Didier Ferment},
editor = {Jan Paredaens},
title = {Principality Results About Some Matrix Languages Families},
booktitle = {Automata, Languages and Programming, 11th Colloquium, Antwerp, Belgium,
July 16-20, 1984, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {172},
pages = {151--161},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/3-540-13345-3\_14},
doi = {10.1007/3-540-13345-3\_14},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Ferment84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Fribourg84,
author = {Laurent Fribourg},
editor = {Jan Paredaens},
title = {Oriented Equational Clauses as a Programming Language},
booktitle = {Automata, Languages and Programming, 11th Colloquium, Antwerp, Belgium,
July 16-20, 1984, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {172},
pages = {162--173},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/3-540-13345-3\_15},
doi = {10.1007/3-540-13345-3\_15},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Fribourg84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/GardyP84,
author = {Dani{\`{e}}le Gardy and
Claude Puech},
editor = {Jan Paredaens},
title = {Relational Algebra Operations and Sizes of Relations},
booktitle = {Automata, Languages and Programming, 11th Colloquium, Antwerp, Belgium,
July 16-20, 1984, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {172},
pages = {174--186},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/3-540-13345-3\_16},
doi = {10.1007/3-540-13345-3\_16},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/GardyP84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Girault-Beauquier84,
author = {Dani{\`{e}}le Beauquier},
editor = {Jan Paredaens},
title = {Some Results About Finite and Infinite Behaviours of a Pushdown Automaton},
booktitle = {Automata, Languages and Programming, 11th Colloquium, Antwerp, Belgium,
July 16-20, 1984, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {172},
pages = {187--195},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/3-540-13345-3\_17},
doi = {10.1007/3-540-13345-3\_17},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Girault-Beauquier84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/GoltzM84,
author = {Ursula Goltz and
Alan Mycroft},
editor = {Jan Paredaens},
title = {On the Relationship of {CCS} and Petri Nets},
booktitle = {Automata, Languages and Programming, 11th Colloquium, Antwerp, Belgium,
July 16-20, 1984, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {172},
pages = {196--208},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/3-540-13345-3\_18},
doi = {10.1007/3-540-13345-3\_18},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/GoltzM84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/GoudaR84,
author = {Mohamed G. Gouda and
Louis E. Rosier},
editor = {Jan Paredaens},
title = {Communicating Finite State Machines with Priority Channnels},
booktitle = {Automata, Languages and Programming, 11th Colloquium, Antwerp, Belgium,
July 16-20, 1984, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {172},
pages = {209--221},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/3-540-13345-3\_19},
doi = {10.1007/3-540-13345-3\_19},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/GoudaR84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/GrafS84,
author = {Susanne Graf and
Joseph Sifakis},
editor = {Jan Paredaens},
title = {A Modal Characterization of Observational Congruence on Finite Terms
of {CCS}},
booktitle = {Automata, Languages and Programming, 11th Colloquium, Antwerp, Belgium,
July 16-20, 1984, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {172},
pages = {222--234},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/3-540-13345-3\_20},
doi = {10.1007/3-540-13345-3\_20},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/GrafS84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Hromkovic84,
author = {Juraj Hromkovic},
editor = {Jan Paredaens},
title = {Communication Complexity},
booktitle = {Automata, Languages and Programming, 11th Colloquium, Antwerp, Belgium,
July 16-20, 1984, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {172},
pages = {235--246},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/3-540-13345-3\_21},
doi = {10.1007/3-540-13345-3\_21},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Hromkovic84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/IbarraKR84,
author = {Oscar H. Ibarra and
Sam M. Kim and
Louis E. Rosier},
editor = {Jan Paredaens},
title = {Space and Time Efficient Simulations and Characterizations of Some
Restricted Classes of PDAs},
booktitle = {Automata, Languages and Programming, 11th Colloquium, Antwerp, Belgium,
July 16-20, 1984, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {172},
pages = {247--259},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/3-540-13345-3\_22},
doi = {10.1007/3-540-13345-3\_22},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/IbarraKR84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/IzumiIH84,
author = {Hiroyuki Izumi and
Yasuyoshi Inagaki and
Namio Honda},
editor = {Jan Paredaens},
title = {A Complete Axiom System for Algebra of Closed-Regular Expression},
booktitle = {Automata, Languages and Programming, 11th Colloquium, Antwerp, Belgium,
July 16-20, 1984, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {172},
pages = {260--269},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/3-540-13345-3\_23},
doi = {10.1007/3-540-13345-3\_23},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/IzumiIH84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Jerrum84,
author = {Mark Jerrum},
editor = {Jan Paredaens},
title = {The Complexity of Finding Minimum-Length Generator Sequences (Extended
Abstract)},
booktitle = {Automata, Languages and Programming, 11th Colloquium, Antwerp, Belgium,
July 16-20, 1984, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {172},
pages = {270--280},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/3-540-13345-3\_24},
doi = {10.1007/3-540-13345-3\_24},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Jerrum84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Jung84,
author = {Hermann Jung},
editor = {Jan Paredaens},
title = {On Probabilistic Tape Complexity and Fast Circuits for Matrix Inversion
Problems (Extended Abstract)},
booktitle = {Automata, Languages and Programming, 11th Colloquium, Antwerp, Belgium,
July 16-20, 1984, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {172},
pages = {281--291},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/3-540-13345-3\_25},
doi = {10.1007/3-540-13345-3\_25},
timestamp = {Fri, 22 Mar 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icalp/Jung84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Karhumaki84,
author = {Juhani Karhum{\"{a}}ki},
editor = {Jan Paredaens},
title = {On Three-Element Codes},
booktitle = {Automata, Languages and Programming, 11th Colloquium, Antwerp, Belgium,
July 16-20, 1984, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {172},
pages = {292--302},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/3-540-13345-3\_26},
doi = {10.1007/3-540-13345-3\_26},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Karhumaki84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/KirschenhoferP84,
author = {Peter Kirschenhofer and
Helmut Prodinger},
editor = {Jan Paredaens},
title = {Recursion Depth Analysis for Specail Tree Traversal Algorithms},
booktitle = {Automata, Languages and Programming, 11th Colloquium, Antwerp, Belgium,
July 16-20, 1984, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {172},
pages = {303--311},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/3-540-13345-3\_27},
doi = {10.1007/3-540-13345-3\_27},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/KirschenhoferP84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Lagarias84,
author = {J. C. Lagarias},
editor = {Jan Paredaens},
title = {Performance Analysis of Shamir's Attack on the Basic Merkle-Hellman
Knapsack Cryptosystem},
booktitle = {Automata, Languages and Programming, 11th Colloquium, Antwerp, Belgium,
July 16-20, 1984, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {172},
pages = {312--323},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/3-540-13345-3\_28},
doi = {10.1007/3-540-13345-3\_28},
timestamp = {Tue, 23 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icalp/Lagarias84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Mannila84,
author = {Heikki Mannila},
editor = {Jan Paredaens},
title = {Measures of Presortedness and Optimal Sorting Algorithms (Extended
Abstract)},
booktitle = {Automata, Languages and Programming, 11th Colloquium, Antwerp, Belgium,
July 16-20, 1984, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {172},
pages = {324--336},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/3-540-13345-3\_29},
doi = {10.1007/3-540-13345-3\_29},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Mannila84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/MargolisP84,
author = {Stuart W. Margolis and
Jean{-}Eric Pin},
editor = {Jan Paredaens},
title = {Languages and Inverse Semigroups},
booktitle = {Automata, Languages and Programming, 11th Colloquium, Antwerp, Belgium,
July 16-20, 1984, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {172},
pages = {337--346},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/3-540-13345-3\_30},
doi = {10.1007/3-540-13345-3\_30},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/MargolisP84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/MehlhornP84,
author = {Kurt Mehlhorn and
Franco P. Preparata},
editor = {Jan Paredaens},
title = {Area-Time Optimal {VLSI} Integer Multiplier with Minimum Computation
Time},
booktitle = {Automata, Languages and Programming, 11th Colloquium, Antwerp, Belgium,
July 16-20, 1984, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {172},
pages = {347--357},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/3-540-13345-3\_31},
doi = {10.1007/3-540-13345-3\_31},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/MehlhornP84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/PaigeT84,
author = {Robert Paige and
Robert Endre Tarjan},
editor = {Jan Paredaens},
title = {A Linear Time Algorithm to Solve the Single Function Coarsest Partition
Problem},
booktitle = {Automata, Languages and Programming, 11th Colloquium, Antwerp, Belgium,
July 16-20, 1984, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {172},
pages = {371--379},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/3-540-13345-3\_33},
doi = {10.1007/3-540-13345-3\_33},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/PaigeT84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Pansiot84,
author = {Jean{-}Jacques Pansiot},
editor = {Jan Paredaens},
title = {Complexit{\'{e}} des Facteurs des Mots Infinis Engendr{\'{e}}s
par Morphimes It{\'{e}}r{\'{e}}s},
booktitle = {Automata, Languages and Programming, 11th Colloquium, Antwerp, Belgium,
July 16-20, 1984, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {172},
pages = {380--389},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/3-540-13345-3\_34},
doi = {10.1007/3-540-13345-3\_34},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Pansiot84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Pecuchet84,
author = {Jean{-}Pierre P{\'{e}}cuchet},
editor = {Jan Paredaens},
title = {Automates Boustrophendon, Semi-Groupe de Birget et Monoide Inversiv
Libre (Abstract/ R{\'{e}}sum{\'{e}})},
booktitle = {Automata, Languages and Programming, 11th Colloquium, Antwerp, Belgium,
July 16-20, 1984, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {172},
pages = {390},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/3-540-13345-3\_35},
doi = {10.1007/3-540-13345-3\_35},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Pecuchet84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/ReifS84,
author = {John H. Reif and
Paul G. Spirakis},
editor = {Jan Paredaens},
title = {Probabilistic Bidding Gives Optimal Distributed Resource Allocation},
booktitle = {Automata, Languages and Programming, 11th Colloquium, Antwerp, Belgium,
July 16-20, 1984, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {172},
pages = {391--402},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/3-540-13345-3\_36},
doi = {10.1007/3-540-13345-3\_36},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/ReifS84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Reisig84,
author = {Wolfgang Reisig},
editor = {Jan Paredaens},
title = {Partial Order Semantics versus Interleaving Semantics for CSP-like
Languages and its Impact on Fairness},
booktitle = {Automata, Languages and Programming, 11th Colloquium, Antwerp, Belgium,
July 16-20, 1984, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {172},
pages = {403--413},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/3-540-13345-3\_37},
doi = {10.1007/3-540-13345-3\_37},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Reisig84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/RestivoR84,
author = {Antonio Restivo and
Christophe Reutenauer},
editor = {Jan Paredaens},
title = {Cancellation, Pumping and Permutation in Formal Languages},
booktitle = {Automata, Languages and Programming, 11th Colloquium, Antwerp, Belgium,
July 16-20, 1984, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {172},
pages = {414--422},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/3-540-13345-3\_38},
doi = {10.1007/3-540-13345-3\_38},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/RestivoR84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/RonRP84,
author = {Dorit Ron and
Flavia Rosemberg and
Amir Pnueli},
editor = {Jan Paredaens},
title = {A Hardware Implementation of the {CSP} Primitives and its Verification},
booktitle = {Automata, Languages and Programming, 11th Colloquium, Antwerp, Belgium,
July 16-20, 1984, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {172},
pages = {423--435},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/3-540-13345-3\_39},
doi = {10.1007/3-540-13345-3\_39},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/RonRP84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Rosenberg84,
author = {Arnold L. Rosenberg},
editor = {Jan Paredaens},
title = {The {VLSI} Revolution in Theoretical Circles},
booktitle = {Automata, Languages and Programming, 11th Colloquium, Antwerp, Belgium,
July 16-20, 1984, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {172},
pages = {23--40},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/3-540-13345-3\_2},
doi = {10.1007/3-540-13345-3\_2},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Rosenberg84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Schonhage84,
author = {Arnold Sch{\"{o}}nhage},
editor = {Jan Paredaens},
title = {Factorization of Univariate Integer Polynomials by Diophantine Aproximation
and an Improved Basis Reduction Algorithm},
booktitle = {Automata, Languages and Programming, 11th Colloquium, Antwerp, Belgium,
July 16-20, 1984, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {172},
pages = {436--447},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/3-540-13345-3\_40},
doi = {10.1007/3-540-13345-3\_40},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Schonhage84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Schoning84,
author = {Uwe Sch{\"{o}}ning},
editor = {Jan Paredaens},
title = {Robust Algorithms: {A} Different Approach to Oracles},
booktitle = {Automata, Languages and Programming, 11th Colloquium, Antwerp, Belgium,
July 16-20, 1984, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {172},
pages = {448--453},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/3-540-13345-3\_41},
doi = {10.1007/3-540-13345-3\_41},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Schoning84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/SpencerM84,
author = {Thomas H. Spencer and
Ernst W. Mayr},
editor = {Jan Paredaens},
title = {Node Weighted Matching},
booktitle = {Automata, Languages and Programming, 11th Colloquium, Antwerp, Belgium,
July 16-20, 1984, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {172},
pages = {454--464},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/3-540-13345-3\_42},
doi = {10.1007/3-540-13345-3\_42},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/SpencerM84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/StreettE84,
author = {Robert S. Streett and
E. Allen Emerson},
editor = {Jan Paredaens},
title = {The Propositional Mu-Calculus is Elementary},
booktitle = {Automata, Languages and Programming, 11th Colloquium, Antwerp, Belgium,
July 16-20, 1984, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {172},
pages = {465--472},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/3-540-13345-3\_43},
doi = {10.1007/3-540-13345-3\_43},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/StreettE84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Tsakalidis84,
author = {Athanasios K. Tsakalidis},
editor = {Jan Paredaens},
title = {AVL-Trees for Localized Search},
booktitle = {Automata, Languages and Programming, 11th Colloquium, Antwerp, Belgium,
July 16-20, 1984, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {172},
pages = {473--485},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/3-540-13345-3\_44},
doi = {10.1007/3-540-13345-3\_44},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Tsakalidis84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Vitanyi84,
author = {Paul M. B. Vit{\'{a}}nyi},
editor = {Jan Paredaens},
title = {The Simple Roots of Real-Time Computation Hierarchies (Preliminary
Version)},
booktitle = {Automata, Languages and Programming, 11th Colloquium, Antwerp, Belgium,
July 16-20, 1984, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {172},
pages = {486--489},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/3-540-13345-3\_45},
doi = {10.1007/3-540-13345-3\_45},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Vitanyi84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Vitter84,
author = {Jeffrey Scott Vitter},
editor = {Jan Paredaens},
title = {Computational Complexity of an Optical Disk Interface (Extended Abstract)},
booktitle = {Automata, Languages and Programming, 11th Colloquium, Antwerp, Belgium,
July 16-20, 1984, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {172},
pages = {490--502},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/3-540-13345-3\_46},
doi = {10.1007/3-540-13345-3\_46},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Vitter84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Welzl84,
author = {Emo Welzl},
editor = {Jan Paredaens},
title = {Encoding Graphs by Derivations and Implications for the Theory of
Graph Grammars},
booktitle = {Automata, Languages and Programming, 11th Colloquium, Antwerp, Belgium,
July 16-20, 1984, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {172},
pages = {503--513},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/3-540-13345-3\_47},
doi = {10.1007/3-540-13345-3\_47},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Welzl84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Willard84,
author = {Dan E. Willard},
editor = {Jan Paredaens},
title = {Sampling Algorithms for Differential Batch Retrieval Problems (Extended
Abstract)},
booktitle = {Automata, Languages and Programming, 11th Colloquium, Antwerp, Belgium,
July 16-20, 1984, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {172},
pages = {514--526},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/3-540-13345-3\_48},
doi = {10.1007/3-540-13345-3\_48},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Willard84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icalp/1984,
editor = {Jan Paredaens},
title = {Automata, Languages and Programming, 11th Colloquium, Antwerp, Belgium,
July 16-20, 1984, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {172},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/3-540-13345-3},
doi = {10.1007/3-540-13345-3},
isbn = {3-540-13345-3},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/1984.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-26 00:20 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:
