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/icalp81.bht:"
download as .bib file
@inproceedings{DBLP:conf/icalp/AptP81,
author = {Krzysztof R. Apt and
Gordon D. Plotkin},
editor = {Shimon Even and
Oded Kariv},
title = {A Cook's Tour of Countable Nondeterminism},
booktitle = {Automata, Languages and Programming, 8th Colloquium, Acre (Akko),
Israel, July 13-17, 1981, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {115},
pages = {479--494},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/3-540-10843-2\_38},
doi = {10.1007/3-540-10843-2\_38},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/AptP81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/BeeriV81,
author = {Catriel Beeri and
Moshe Y. Vardi},
editor = {Shimon Even and
Oded Kariv},
title = {The Implication Problem for Data Dependencies},
booktitle = {Automata, Languages and Programming, 8th Colloquium, Acre (Akko),
Israel, July 13-17, 1981, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {115},
pages = {73--85},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/3-540-10843-2\_7},
doi = {10.1007/3-540-10843-2\_7},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/BeeriV81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Ben-AriHP81,
author = {Mordechai Ben{-}Ari and
Joseph Y. Halpern and
Amir Pnueli},
editor = {Shimon Even and
Oded Kariv},
title = {Finite Models for Deterministic Propositional Dynamic Logic},
booktitle = {Automata, Languages and Programming, 8th Colloquium, Acre (Akko),
Israel, July 13-17, 1981, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {115},
pages = {249--263},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/3-540-10843-2\_21},
doi = {10.1007/3-540-10843-2\_21},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Ben-AriHP81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/BergstraT81,
author = {Jan A. Bergstra and
John V. Tucker},
editor = {Shimon Even and
Oded Kariv},
title = {Algebraically Specified Programming Systems and Hoare's Logic},
booktitle = {Automata, Languages and Programming, 8th Colloquium, Acre (Akko),
Israel, July 13-17, 1981, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {115},
pages = {348--362},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/3-540-10843-2\_29},
doi = {10.1007/3-540-10843-2\_29},
timestamp = {Fri, 12 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/BergstraT81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/BlattnerL81,
author = {Meera Blattner and
Michel Latteux},
editor = {Shimon Even and
Oded Kariv},
title = {Parikh-Bounded Languages},
booktitle = {Automata, Languages and Programming, 8th Colloquium, Acre (Akko),
Israel, July 13-17, 1981, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {115},
pages = {316--323},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/3-540-10843-2\_26},
doi = {10.1007/3-540-10843-2\_26},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/BlattnerL81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Courcelle81,
author = {Bruno Courcelle},
editor = {Shimon Even and
Oded Kariv},
title = {An Axiomatic Approach to the Korenjak-Hopcroft Algorithms},
booktitle = {Automata, Languages and Programming, 8th Colloquium, Acre (Akko),
Israel, July 13-17, 1981, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {115},
pages = {393--407},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/3-540-10843-2\_32},
doi = {10.1007/3-540-10843-2\_32},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Courcelle81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Dershowitz81,
author = {Nachum Dershowitz},
editor = {Shimon Even and
Oded Kariv},
title = {Termination of Linear Rewriting Systems (Preliminary Version)},
booktitle = {Automata, Languages and Programming, 8th Colloquium, Acre (Akko),
Israel, July 13-17, 1981, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {115},
pages = {448--458},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/3-540-10843-2\_36},
doi = {10.1007/3-540-10843-2\_36},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Dershowitz81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/EhrenfeuchtR81,
author = {Andrzej Ehrenfeucht and
Grzegorz Rozenberg},
editor = {Shimon Even and
Oded Kariv},
title = {On the (Generalized) Post Correspondence Problem with Lists of Length
2},
booktitle = {Automata, Languages and Programming, 8th Colloquium, Acre (Akko),
Israel, July 13-17, 1981, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {115},
pages = {408--416},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/3-540-10843-2\_33},
doi = {10.1007/3-540-10843-2\_33},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/EhrenfeuchtR81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/EngelfrietF81,
author = {Joost Engelfriet and
Gilberto Fil{\'{e}}},
editor = {Shimon Even and
Oded Kariv},
title = {Passes, Sweeps and Visits},
booktitle = {Automata, Languages and Programming, 8th Colloquium, Acre (Akko),
Israel, July 13-17, 1981, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {115},
pages = {193--207},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/3-540-10843-2\_16},
doi = {10.1007/3-540-10843-2\_16},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/EngelfrietF81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/FraenkelL81,
author = {Aviezri S. Fraenkel and
David Lichtenstein},
editor = {Shimon Even and
Oded Kariv},
title = {Computing a Perfect Strategy for n*n Chess Requires Time Exponential
in {N}},
booktitle = {Automata, Languages and Programming, 8th Colloquium, Acre (Akko),
Israel, July 13-17, 1981, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {115},
pages = {278--293},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/3-540-10843-2\_23},
doi = {10.1007/3-540-10843-2\_23},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icalp/FraenkelL81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/GurariI81,
author = {Eitan M. Gurari and
Oscar H. Ibarra},
editor = {Shimon Even and
Oded Kariv},
title = {The Complexity of Decision Problems for Finite-Turn Multicounter Machines},
booktitle = {Automata, Languages and Programming, 8th Colloquium, Acre (Akko),
Israel, July 13-17, 1981, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {115},
pages = {495--505},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/3-540-10843-2\_39},
doi = {10.1007/3-540-10843-2\_39},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/GurariI81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/HeintzS81,
author = {Joos Heintz and
Malte Sieveking},
editor = {Shimon Even and
Oded Kariv},
title = {Absolute Primality of Polynomials is Decidable in Random Polynomial
Time in the Number of Variables},
booktitle = {Automata, Languages and Programming, 8th Colloquium, Acre (Akko),
Israel, July 13-17, 1981, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {115},
pages = {16--28},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/3-540-10843-2\_2},
doi = {10.1007/3-540-10843-2\_2},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/HeintzS81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/HongMR81,
author = {Jia{-}Wei Hong and
Kurt Mehlhorn and
Arnold L. Rosenberg},
editor = {Shimon Even and
Oded Kariv},
title = {Cost Tradeoffs in Graph Embeddings, with Applications (Preliminary
Version)},
booktitle = {Automata, Languages and Programming, 8th Colloquium, Acre (Akko),
Israel, July 13-17, 1981, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {115},
pages = {41--55},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/3-540-10843-2\_4},
doi = {10.1007/3-540-10843-2\_4},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/HongMR81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/IbarraLM81,
author = {Oscar H. Ibarra and
Brian S. Leininger and
Shlomo Moran},
editor = {Shimon Even and
Oded Kariv},
title = {On the Complexity of Simple Arithmetic Expressions},
booktitle = {Automata, Languages and Programming, 8th Colloquium, Acre (Akko),
Israel, July 13-17, 1981, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {115},
pages = {294--304},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/3-540-10843-2\_24},
doi = {10.1007/3-540-10843-2\_24},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/IbarraLM81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Istrail81,
author = {Sorin Istrail},
editor = {Shimon Even and
Oded Kariv},
title = {Chomsky-Sch{\"{u}}tzenberger Representations for Families of
Languages and Grammatical Types},
booktitle = {Automata, Languages and Programming, 8th Colloquium, Acre (Akko),
Israel, July 13-17, 1981, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {115},
pages = {333--347},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/3-540-10843-2\_28},
doi = {10.1007/3-540-10843-2\_28},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Istrail81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/ItaiKR81,
author = {Alon Itai and
Alan G. Konheim and
Michael Rodeh},
editor = {Shimon Even and
Oded Kariv},
title = {A Sparse Table Implementation of Priority Queues},
booktitle = {Automata, Languages and Programming, 8th Colloquium, Acre (Akko),
Israel, July 13-17, 1981, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {115},
pages = {417--431},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/3-540-10843-2\_34},
doi = {10.1007/3-540-10843-2\_34},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/ItaiKR81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/ItzhaikY81,
author = {Yair Itzhaik and
Amiram Yehudai},
editor = {Shimon Even and
Oded Kariv},
title = {A Decision Procedure for the Equivalence of Two DPDAs, One of Which
is Linear (Extended Abstract)},
booktitle = {Automata, Languages and Programming, 8th Colloquium, Acre (Akko),
Israel, July 13-17, 1981, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {115},
pages = {229--237},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/3-540-10843-2\_19},
doi = {10.1007/3-540-10843-2\_19},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/ItzhaikY81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Jones81,
author = {Neil D. Jones},
editor = {Shimon Even and
Oded Kariv},
title = {Flow Analysis of Lambda Expressions (Preliminary Version)},
booktitle = {Automata, Languages and Programming, 8th Colloquium, Acre (Akko),
Israel, July 13-17, 1981, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {115},
pages = {114--128},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/3-540-10843-2\_10},
doi = {10.1007/3-540-10843-2\_10},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icalp/Jones81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Karhumaki81,
author = {Juhani Karhum{\"{a}}ki},
editor = {Shimon Even and
Oded Kariv},
title = {Generalized Parikh Mappings and Homomorphisms},
booktitle = {Automata, Languages and Programming, 8th Colloquium, Acre (Akko),
Israel, July 13-17, 1981, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {115},
pages = {324--332},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/3-540-10843-2\_27},
doi = {10.1007/3-540-10843-2\_27},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Karhumaki81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/King81,
author = {K. N. King},
editor = {Shimon Even and
Oded Kariv},
title = {Alternating Multihead Finite Automata (Extended Abstract)},
booktitle = {Automata, Languages and Programming, 8th Colloquium, Acre (Akko),
Israel, July 13-17, 1981, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {115},
pages = {506--520},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/3-540-10843-2\_40},
doi = {10.1007/3-540-10843-2\_40},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/King81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/LehmannPS81,
author = {Daniel Lehmann and
Amir Pnueli and
Jonathan Stavi},
editor = {Shimon Even and
Oded Kariv},
title = {Impartiality, Justice and Fairness: The Ethics of Concurrent Termination},
booktitle = {Automata, Languages and Programming, 8th Colloquium, Acre (Akko),
Israel, July 13-17, 1981, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {115},
pages = {264--277},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/3-540-10843-2\_22},
doi = {10.1007/3-540-10843-2\_22},
timestamp = {Fri, 09 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/LehmannPS81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Lieberherr81,
author = {Karl J. Lieberherr},
editor = {Shimon Even and
Oded Kariv},
title = {Uniform Complexity and Digital Signatures},
booktitle = {Automata, Languages and Programming, 8th Colloquium, Acre (Akko),
Israel, July 13-17, 1981, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {115},
pages = {530--543},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/3-540-10843-2\_42},
doi = {10.1007/3-540-10843-2\_42},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Lieberherr81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Loeckx81,
author = {Jacques Loeckx},
editor = {Shimon Even and
Oded Kariv},
title = {Algorithmic Specifications of Abstract Data Types},
booktitle = {Automata, Languages and Programming, 8th Colloquium, Acre (Akko),
Israel, July 13-17, 1981, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {115},
pages = {129--147},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/3-540-10843-2\_11},
doi = {10.1007/3-540-10843-2\_11},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Loeckx81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Makowsky81,
author = {Johann A. Makowsky},
editor = {Shimon Even and
Oded Kariv},
title = {Characterizing Data Base Dependencies},
booktitle = {Automata, Languages and Programming, 8th Colloquium, Acre (Akko),
Israel, July 13-17, 1981, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {115},
pages = {86--97},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/3-540-10843-2\_8},
doi = {10.1007/3-540-10843-2\_8},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Makowsky81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Makowsky81a,
author = {Johann A. Makowsky},
editor = {Shimon Even and
Oded Kariv},
title = {Errata: Measuring the Expressive Power of Dynamic Logics: An Application
of Abstract Model Theory},
booktitle = {Automata, Languages and Programming, 8th Colloquium, Acre (Akko),
Israel, July 13-17, 1981, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {115},
pages = {551},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/3-540-10843-2\_44},
doi = {10.1007/3-540-10843-2\_44},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Makowsky81a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/MeyerSM81,
author = {Albert R. Meyer and
Robert S. Streett and
Grazyna Mirkowska},
editor = {Shimon Even and
Oded Kariv},
title = {The Deducibility Problem in Propositional Dynamic Logic},
booktitle = {Automata, Languages and Programming, 8th Colloquium, Acre (Akko),
Israel, July 13-17, 1981, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {115},
pages = {238--248},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/3-540-10843-2\_20},
doi = {10.1007/3-540-10843-2\_20},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/MeyerSM81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/MoriconiS81,
author = {Mark Moriconi and
Richard L. Schwartz},
editor = {Shimon Even and
Oded Kariv},
title = {Automatic Construction of Verification Condition Generators From Hoare
Logics},
booktitle = {Automata, Languages and Programming, 8th Colloquium, Acre (Akko),
Israel, July 13-17, 1981, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {115},
pages = {363--377},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/3-540-10843-2\_30},
doi = {10.1007/3-540-10843-2\_30},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/MoriconiS81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Pearl81,
author = {Judea Pearl},
editor = {Shimon Even and
Oded Kariv},
title = {The Solution for the Branching Factor of the Alpha-Beta Pruning Algorithm},
booktitle = {Automata, Languages and Programming, 8th Colloquium, Acre (Akko),
Israel, July 13-17, 1981, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {115},
pages = {521--529},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/3-540-10843-2\_41},
doi = {10.1007/3-540-10843-2\_41},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Pearl81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Pettorossi81,
author = {Alberto Pettorossi},
editor = {Shimon Even and
Oded Kariv},
title = {Comparing and Putting Together Recursive Path Ordering, Simplification
Orderings and Non-Ascending Property for Termination Proofs of Term
Rewriting Systems},
booktitle = {Automata, Languages and Programming, 8th Colloquium, Acre (Akko),
Israel, July 13-17, 1981, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {115},
pages = {432--447},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/3-540-10843-2\_35},
doi = {10.1007/3-540-10843-2\_35},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icalp/Pettorossi81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Pin81,
author = {Jean{-}Eric Pin},
editor = {Shimon Even and
Oded Kariv},
title = {Languages reconnaissables et codage prefixe pur},
booktitle = {Automata, Languages and Programming, 8th Colloquium, Acre (Akko),
Israel, July 13-17, 1981, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {115},
pages = {184--192},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/3-540-10843-2\_15},
doi = {10.1007/3-540-10843-2\_15},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Pin81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/PnueliZ81,
author = {Amir Pnueli and
R. Zarhi},
editor = {Shimon Even and
Oded Kariv},
title = {Realizing an Equational Specification},
booktitle = {Automata, Languages and Programming, 8th Colloquium, Acre (Akko),
Israel, July 13-17, 1981, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {115},
pages = {459--478},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/3-540-10843-2\_37},
doi = {10.1007/3-540-10843-2\_37},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/PnueliZ81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/PreparataV81,
author = {Franco P. Preparata and
Jean Vuillemin},
editor = {Shimon Even and
Oded Kariv},
title = {Area-Time Optimal {VLSI} Networks for Computing Integer Multiplications
and Discrete Fourier Transform},
booktitle = {Automata, Languages and Programming, 8th Colloquium, Acre (Akko),
Israel, July 13-17, 1981, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {115},
pages = {29--40},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/3-540-10843-2\_3},
doi = {10.1007/3-540-10843-2\_3},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/PreparataV81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Reif81,
author = {John H. Reif},
editor = {Shimon Even and
Oded Kariv},
title = {Minimum {S-T} Cut of a Planar Undirected Network in O(n log{\({^2}\)}(n))
Time},
booktitle = {Automata, Languages and Programming, 8th Colloquium, Acre (Akko),
Israel, July 13-17, 1981, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {115},
pages = {56--67},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/3-540-10843-2\_5},
doi = {10.1007/3-540-10843-2\_5},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Reif81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Reutenauer81,
author = {Christophe Reutenauer},
editor = {Shimon Even and
Oded Kariv},
title = {A New Characterization of the Regular Languages},
booktitle = {Automata, Languages and Programming, 8th Colloquium, Acre (Akko),
Israel, July 13-17, 1981, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {115},
pages = {177--183},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/3-540-10843-2\_14},
doi = {10.1007/3-540-10843-2\_14},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Reutenauer81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Schnorr81,
author = {Claus{-}Peter Schnorr},
editor = {Shimon Even and
Oded Kariv},
title = {Refined Analysis and Improvements on Some Factoring Algorithms},
booktitle = {Automata, Languages and Programming, 8th Colloquium, Acre (Akko),
Israel, July 13-17, 1981, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {115},
pages = {1--15},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/3-540-10843-2\_1},
doi = {10.1007/3-540-10843-2\_1},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Schnorr81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Sethi81,
author = {Ravi Sethi},
editor = {Shimon Even and
Oded Kariv},
title = {Circular Expressions: Elimination of Static Environments},
booktitle = {Automata, Languages and Programming, 8th Colloquium, Acre (Akko),
Israel, July 13-17, 1981, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {115},
pages = {378--392},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/3-540-10843-2\_31},
doi = {10.1007/3-540-10843-2\_31},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Sethi81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Shamir81,
author = {Adi Shamir},
editor = {Shimon Even and
Oded Kariv},
title = {On the Generation of Cryptographically Strong Pseudo-Random Sequences},
booktitle = {Automata, Languages and Programming, 8th Colloquium, Acre (Akko),
Israel, July 13-17, 1981, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {115},
pages = {544--550},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/3-540-10843-2\_43},
doi = {10.1007/3-540-10843-2\_43},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Shamir81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Sharir81,
author = {Micha Sharir},
editor = {Shimon Even and
Oded Kariv},
title = {Data Flow Analysis of Applicative Programs},
booktitle = {Automata, Languages and Programming, 8th Colloquium, Acre (Akko),
Israel, July 13-17, 1981, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {115},
pages = {98--113},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/3-540-10843-2\_9},
doi = {10.1007/3-540-10843-2\_9},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Sharir81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/SippuS81,
author = {Seppo Sippu and
Eljas Soisalon{-}Soininen},
editor = {Shimon Even and
Oded Kariv},
title = {On {LALR(1)} Testing},
booktitle = {Automata, Languages and Programming, 8th Colloquium, Acre (Akko),
Israel, July 13-17, 1981, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {115},
pages = {208--217},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/3-540-10843-2\_17},
doi = {10.1007/3-540-10843-2\_17},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/SippuS81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Snir81,
author = {Marc Snir},
editor = {Shimon Even and
Oded Kariv},
title = {Proving Lower Bounds for Linar Decision Trees},
booktitle = {Automata, Languages and Programming, 8th Colloquium, Acre (Akko),
Israel, July 13-17, 1981, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {115},
pages = {305--315},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/3-540-10843-2\_25},
doi = {10.1007/3-540-10843-2\_25},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Snir81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Subrahmanyam81,
author = {P. A. Subrahmanyam},
editor = {Shimon Even and
Oded Kariv},
title = {Nondeterminism in Abstract Data Types},
booktitle = {Automata, Languages and Programming, 8th Colloquium, Acre (Akko),
Israel, July 13-17, 1981, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {115},
pages = {148--164},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/3-540-10843-2\_12},
doi = {10.1007/3-540-10843-2\_12},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Subrahmanyam81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Ukkonen81,
author = {Esko Ukkonen},
editor = {Shimon Even and
Oded Kariv},
title = {On Size Bounds for Deterministic Parsers},
booktitle = {Automata, Languages and Programming, 8th Colloquium, Acre (Akko),
Israel, July 13-17, 1981, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {115},
pages = {218--228},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/3-540-10843-2\_18},
doi = {10.1007/3-540-10843-2\_18},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Ukkonen81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Ullman81,
author = {Jeffrey D. Ullman},
editor = {Shimon Even and
Oded Kariv},
title = {A View of Directions in Relational Database Theory},
booktitle = {Automata, Languages and Programming, 8th Colloquium, Acre (Akko),
Israel, July 13-17, 1981, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {115},
pages = {165--176},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/3-540-10843-2\_13},
doi = {10.1007/3-540-10843-2\_13},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Ullman81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Welzl81,
author = {Emo Welzl},
editor = {Shimon Even and
Oded Kariv},
title = {On the Density of Color-Families},
booktitle = {Automata, Languages and Programming, 8th Colloquium, Acre (Akko),
Israel, July 13-17, 1981, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {115},
pages = {68--72},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/3-540-10843-2\_6},
doi = {10.1007/3-540-10843-2\_6},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Welzl81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icalp/1981,
editor = {Shimon Even and
Oded Kariv},
title = {Automata, Languages and Programming, 8th Colloquium, Acre (Akko),
Israel, July 13-17, 1981, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {115},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/3-540-10843-2},
doi = {10.1007/3-540-10843-2},
isbn = {3-540-10843-2},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/1981.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-25 03:44 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:
