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/icalp80.bht:"
download as .bib file
@inproceedings{DBLP:conf/icalp/Ainhirn80,
author = {Werner Ainhirn},
editor = {J. W. de Bakker and
Jan van Leeuwen},
title = {How to Get Rid of Pseudoterminals},
booktitle = {Automata, Languages and Programming, 7th Colloquium, Noordweijkerhout,
The Netherlands, July 14-18, 1980, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {85},
pages = {1--11},
publisher = {Springer},
year = {1980},
url = {https://doi.org/10.1007/3-540-10003-2\_54},
doi = {10.1007/3-540-10003-2\_54},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Ainhirn80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/AlbertC80,
author = {J{\"{u}}rgen Albert and
Karel Cul{\'{\i}}k II},
editor = {J. W. de Bakker and
Jan van Leeuwen},
title = {Test Sets for Homomorphism Equivalence on Context Free Languages},
booktitle = {Automata, Languages and Programming, 7th Colloquium, Noordweijkerhout,
The Netherlands, July 14-18, 1980, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {85},
pages = {12--18},
publisher = {Springer},
year = {1980},
url = {https://doi.org/10.1007/3-540-10003-2\_55},
doi = {10.1007/3-540-10003-2\_55},
timestamp = {Wed, 24 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icalp/AlbertC80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/AlbertW80,
author = {J{\"{u}}rgen Albert and
Lutz M. Wegner},
editor = {J. W. de Bakker and
Jan van Leeuwen},
title = {Languages with Homomorphic Replacements},
booktitle = {Automata, Languages and Programming, 7th Colloquium, Noordweijkerhout,
The Netherlands, July 14-18, 1980, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {85},
pages = {19--29},
publisher = {Springer},
year = {1980},
url = {https://doi.org/10.1007/3-540-10003-2\_56},
doi = {10.1007/3-540-10003-2\_56},
timestamp = {Tue, 15 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icalp/AlbertW80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Alt80,
author = {Helmut Alt},
editor = {J. W. de Bakker and
Jan van Leeuwen},
title = {Functions Equivalent to Integer Multiplication},
booktitle = {Automata, Languages and Programming, 7th Colloquium, Noordweijkerhout,
The Netherlands, July 14-18, 1980, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {85},
pages = {30--37},
publisher = {Springer},
year = {1980},
url = {https://doi.org/10.1007/3-540-10003-2\_57},
doi = {10.1007/3-540-10003-2\_57},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Alt80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/AstesianoC80,
author = {Egidio Astesiano and
Gerardo Costa},
editor = {J. W. de Bakker and
Jan van Leeuwen},
title = {Languages with Reducing Reflective Types},
booktitle = {Automata, Languages and Programming, 7th Colloquium, Noordweijkerhout,
The Netherlands, July 14-18, 1980, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {85},
pages = {38--50},
publisher = {Springer},
year = {1980},
url = {https://doi.org/10.1007/3-540-10003-2\_58},
doi = {10.1007/3-540-10003-2\_58},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/AstesianoC80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Back80,
author = {Ralph{-}Johan Back},
editor = {J. W. de Bakker and
Jan van Leeuwen},
title = {Semantics of Unbounded Nondeterminism},
booktitle = {Automata, Languages and Programming, 7th Colloquium, Noordweijkerhout,
The Netherlands, July 14-18, 1980, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {85},
pages = {51--63},
publisher = {Springer},
year = {1980},
url = {https://doi.org/10.1007/3-540-10003-2\_59},
doi = {10.1007/3-540-10003-2\_59},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Back80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/BeckerPS80,
author = {Ronald I. Becker and
Yehoshua Perl and
Stephen R. Schach},
editor = {J. W. de Bakker and
Jan van Leeuwen},
title = {A Shifting Algorithm for Min-Max Tree Partitioning},
booktitle = {Automata, Languages and Programming, 7th Colloquium, Noordweijkerhout,
The Netherlands, July 14-18, 1980, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {85},
pages = {64--75},
publisher = {Springer},
year = {1980},
url = {https://doi.org/10.1007/3-540-10003-2\_60},
doi = {10.1007/3-540-10003-2\_60},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/BeckerPS80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/BergstraT80,
author = {Jan A. Bergstra and
John V. Tucker},
editor = {J. W. de Bakker and
Jan van Leeuwen},
title = {A Characterisation of Computable Data Types by Means of a Finite Equational
Specification Method},
booktitle = {Automata, Languages and Programming, 7th Colloquium, Noordweijkerhout,
The Netherlands, July 14-18, 1980, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {85},
pages = {76--90},
publisher = {Springer},
year = {1980},
url = {https://doi.org/10.1007/3-540-10003-2\_61},
doi = {10.1007/3-540-10003-2\_61},
timestamp = {Fri, 12 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/BergstraT80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Berman80,
author = {Piotr Berman},
editor = {J. W. de Bakker and
Jan van Leeuwen},
title = {A Note on Sweeping Automata},
booktitle = {Automata, Languages and Programming, 7th Colloquium, Noordweijkerhout,
The Netherlands, July 14-18, 1980, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {85},
pages = {91--97},
publisher = {Springer},
year = {1980},
url = {https://doi.org/10.1007/3-540-10003-2\_62},
doi = {10.1007/3-540-10003-2\_62},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Berman80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Bini80,
author = {Dario Bini},
editor = {J. W. de Bakker and
Jan van Leeuwen},
title = {Border Rank of a pxqx2 Tensor and the Optimal Approximation od a Pair
of Bilinear Forms},
booktitle = {Automata, Languages and Programming, 7th Colloquium, Noordweijkerhout,
The Netherlands, July 14-18, 1980, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {85},
pages = {98--108},
publisher = {Springer},
year = {1980},
url = {https://doi.org/10.1007/3-540-10003-2\_63},
doi = {10.1007/3-540-10003-2\_63},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Bini80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Boasson80,
author = {Luc Boasson},
editor = {J. W. de Bakker and
Jan van Leeuwen},
title = {Derivations et Redutions dans les Grammaires Algebriques},
booktitle = {Automata, Languages and Programming, 7th Colloquium, Noordweijkerhout,
The Netherlands, July 14-18, 1980, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {85},
pages = {109--118},
publisher = {Springer},
year = {1980},
url = {https://doi.org/10.1007/3-540-10003-2\_64},
doi = {10.1007/3-540-10003-2\_64},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Boasson80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/CousotC80,
author = {Patrick Cousot and
Radhia Cousot},
editor = {J. W. de Bakker and
Jan van Leeuwen},
title = {Semantic Analysis of Communicating Sequential Processes (Shortened
Version)},
booktitle = {Automata, Languages and Programming, 7th Colloquium, Noordweijkerhout,
The Netherlands, July 14-18, 1980, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {85},
pages = {119--133},
publisher = {Springer},
year = {1980},
url = {https://doi.org/10.1007/3-540-10003-2\_65},
doi = {10.1007/3-540-10003-2\_65},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/CousotC80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/EhrenfeuchtR80,
author = {Andrzej Ehrenfeucht and
Grzegorz Rozenberg},
editor = {J. W. de Bakker and
Jan van Leeuwen},
title = {{DOS} Systems and Languages},
booktitle = {Automata, Languages and Programming, 7th Colloquium, Noordweijkerhout,
The Netherlands, July 14-18, 1980, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {85},
pages = {134--141},
publisher = {Springer},
year = {1980},
url = {https://doi.org/10.1007/3-540-10003-2\_66},
doi = {10.1007/3-540-10003-2\_66},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/EhrenfeuchtR80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/EhrigKP80,
author = {Hartmut Ehrig and
Hans{-}J{\"{o}}rg Kreowski and
Peter Padawitz},
editor = {J. W. de Bakker and
Jan van Leeuwen},
title = {Algebraic Implementation of Abstract Data Types: Concept, Syntax,
Semantics and Correctness},
booktitle = {Automata, Languages and Programming, 7th Colloquium, Noordweijkerhout,
The Netherlands, July 14-18, 1980, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {85},
pages = {142--156},
publisher = {Springer},
year = {1980},
url = {https://doi.org/10.1007/3-540-10003-2\_67},
doi = {10.1007/3-540-10003-2\_67},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/EhrigKP80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/EhrigKTWW80,
author = {Hartmut Ehrig and
Hans{-}J{\"{o}}rg Kreowski and
James W. Thatcher and
Eric G. Wagner and
Jesse B. Wright},
editor = {J. W. de Bakker and
Jan van Leeuwen},
title = {Parameterized Data Types in Algebraic Specification Languages (Short
Version)},
booktitle = {Automata, Languages and Programming, 7th Colloquium, Noordweijkerhout,
The Netherlands, July 14-18, 1980, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {85},
pages = {157--168},
publisher = {Springer},
year = {1980},
url = {https://doi.org/10.1007/3-540-10003-2\_68},
doi = {10.1007/3-540-10003-2\_68},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/EhrigKTWW80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/EmersonC80,
author = {E. Allen Emerson and
Edmund M. Clarke},
editor = {J. W. de Bakker and
Jan van Leeuwen},
title = {Characterizing Correctness Properties of Parallel Programs Using Fixpoints},
booktitle = {Automata, Languages and Programming, 7th Colloquium, Noordweijkerhout,
The Netherlands, July 14-18, 1980, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {85},
pages = {169--181},
publisher = {Springer},
year = {1980},
url = {https://doi.org/10.1007/3-540-10003-2\_69},
doi = {10.1007/3-540-10003-2\_69},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icalp/EmersonC80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/EngelfrietF80,
author = {Joost Engelfriet and
Gilberto Fil{\'{e}}},
editor = {J. W. de Bakker and
Jan van Leeuwen},
title = {Formal Properties of One-Visit and Multi-Pass Attribute Grammars},
booktitle = {Automata, Languages and Programming, 7th Colloquium, Noordweijkerhout,
The Netherlands, July 14-18, 1980, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {85},
pages = {182--194},
publisher = {Springer},
year = {1980},
url = {https://doi.org/10.1007/3-540-10003-2\_70},
doi = {10.1007/3-540-10003-2\_70},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/EngelfrietF80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/EvenY80,
author = {Shimon Even and
Yacov Yacobi},
editor = {J. W. de Bakker and
Jan van Leeuwen},
title = {Cryptocomplexity and NP-Completeness},
booktitle = {Automata, Languages and Programming, 7th Colloquium, Noordweijkerhout,
The Netherlands, July 14-18, 1980, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {85},
pages = {195--207},
publisher = {Springer},
year = {1980},
url = {https://doi.org/10.1007/3-540-10003-2\_71},
doi = {10.1007/3-540-10003-2\_71},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/EvenY80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/FlajoletS80,
author = {Philippe Flajolet and
Jean{-}Marc Steyaert},
editor = {J. W. de Bakker and
Jan van Leeuwen},
title = {On the Analysis of Tree-Matching Algorithms},
booktitle = {Automata, Languages and Programming, 7th Colloquium, Noordweijkerhout,
The Netherlands, July 14-18, 1980, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {85},
pages = {208--219},
publisher = {Springer},
year = {1980},
url = {https://doi.org/10.1007/3-540-10003-2\_72},
doi = {10.1007/3-540-10003-2\_72},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/FlajoletS80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/FredericksonJ80,
author = {Greg N. Frederickson and
Donald B. Johnson},
editor = {J. W. de Bakker and
Jan van Leeuwen},
title = {Generating and Searching Sets Induced by Networks},
booktitle = {Automata, Languages and Programming, 7th Colloquium, Noordweijkerhout,
The Netherlands, July 14-18, 1980, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {85},
pages = {221--233},
publisher = {Springer},
year = {1980},
url = {https://doi.org/10.1007/3-540-10003-2\_73},
doi = {10.1007/3-540-10003-2\_73},
timestamp = {Tue, 18 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/FredericksonJ80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Furer80,
author = {Martin F{\"{u}}rer},
editor = {J. W. de Bakker and
Jan van Leeuwen},
title = {The Complexity of the Inequivalence Problem for Regular Expressions
with Intersection},
booktitle = {Automata, Languages and Programming, 7th Colloquium, Noordweijkerhout,
The Netherlands, July 14-18, 1980, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {85},
pages = {234--245},
publisher = {Springer},
year = {1980},
url = {https://doi.org/10.1007/3-540-10003-2\_74},
doi = {10.1007/3-540-10003-2\_74},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icalp/Furer80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Galil80,
author = {Zvi Galil},
editor = {J. W. de Bakker and
Jan van Leeuwen},
title = {An Almost Linaer Time Algorithm for Computing a Dependency Basis in
a Relational Data Base},
booktitle = {Automata, Languages and Programming, 7th Colloquium, Noordweijkerhout,
The Netherlands, July 14-18, 1980, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {85},
pages = {246--256},
publisher = {Springer},
year = {1980},
url = {https://doi.org/10.1007/3-540-10003-2\_75},
doi = {10.1007/3-540-10003-2\_75},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Galil80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/GenrichT80,
author = {Hartmann J. Genrich and
P. S. Thiagarajan},
editor = {J. W. de Bakker and
Jan van Leeuwen},
title = {Bipolar Synchronization Systems},
booktitle = {Automata, Languages and Programming, 7th Colloquium, Noordweijkerhout,
The Netherlands, July 14-18, 1980, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {85},
pages = {257--272},
publisher = {Springer},
year = {1980},
url = {https://doi.org/10.1007/3-540-10003-2\_76},
doi = {10.1007/3-540-10003-2\_76},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/GenrichT80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/GoralcikovaGK80,
author = {A. Goralcikov{\'{a}} and
Pavel Goralcik and
V{\'{a}}clav Koubek},
editor = {J. W. de Bakker and
Jan van Leeuwen},
title = {Testing of Properties of Finite Algebras},
booktitle = {Automata, Languages and Programming, 7th Colloquium, Noordweijkerhout,
The Netherlands, July 14-18, 1980, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {85},
pages = {273--281},
publisher = {Springer},
year = {1980},
url = {https://doi.org/10.1007/3-540-10003-2\_77},
doi = {10.1007/3-540-10003-2\_77},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/GoralcikovaGK80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Gray80,
author = {Jim Gray},
editor = {J. W. de Bakker and
Jan van Leeuwen},
title = {A Transaction Model},
booktitle = {Automata, Languages and Programming, 7th Colloquium, Noordweijkerhout,
The Netherlands, July 14-18, 1980, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {85},
pages = {282--298},
publisher = {Springer},
year = {1980},
url = {https://doi.org/10.1007/3-540-10003-2\_78},
doi = {10.1007/3-540-10003-2\_78},
timestamp = {Mon, 06 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icalp/Gray80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/HennessyM80,
author = {Matthew Hennessy and
Robin Milner},
editor = {J. W. de Bakker and
Jan van Leeuwen},
title = {On Observing Nondeterminism and Concurrency},
booktitle = {Automata, Languages and Programming, 7th Colloquium, Noordweijkerhout,
The Netherlands, July 14-18, 1980, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {85},
pages = {299--309},
publisher = {Springer},
year = {1980},
url = {https://doi.org/10.1007/3-540-10003-2\_79},
doi = {10.1007/3-540-10003-2\_79},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/HennessyM80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/HornungR80,
author = {G{\"{u}}nter Hornung and
Peter Raulefs},
editor = {J. W. de Bakker and
Jan van Leeuwen},
title = {Terminal Algebra Semantics and Retractions for Abstract Data Types},
booktitle = {Automata, Languages and Programming, 7th Colloquium, Noordweijkerhout,
The Netherlands, July 14-18, 1980, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {85},
pages = {310--323},
publisher = {Springer},
year = {1980},
url = {https://doi.org/10.1007/3-540-10003-2\_80},
doi = {10.1007/3-540-10003-2\_80},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/HornungR80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Huynh80,
author = {Thiet{-}Dung Huynh},
editor = {J. W. de Bakker and
Jan van Leeuwen},
title = {The Complexity of Semilinear Sets},
booktitle = {Automata, Languages and Programming, 7th Colloquium, Noordweijkerhout,
The Netherlands, July 14-18, 1980, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {85},
pages = {324--337},
publisher = {Springer},
year = {1980},
url = {https://doi.org/10.1007/3-540-10003-2\_81},
doi = {10.1007/3-540-10003-2\_81},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Huynh80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/KennawayH80,
author = {Richard Kennaway and
C. A. R. Hoare},
editor = {J. W. de Bakker and
Jan van Leeuwen},
title = {A Theory of Nondeterminism},
booktitle = {Automata, Languages and Programming, 7th Colloquium, Noordweijkerhout,
The Netherlands, July 14-18, 1980, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {85},
pages = {338--350},
publisher = {Springer},
year = {1980},
url = {https://doi.org/10.1007/3-540-10003-2\_82},
doi = {10.1007/3-540-10003-2\_82},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/KennawayH80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Kozen80,
author = {Dexter Kozen},
editor = {J. W. de Bakker and
Jan van Leeuwen},
title = {A Representation Theorem for Models of *-Free {PDL}},
booktitle = {Automata, Languages and Programming, 7th Colloquium, Noordweijkerhout,
The Netherlands, July 14-18, 1980, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {85},
pages = {351--362},
publisher = {Springer},
year = {1980},
url = {https://doi.org/10.1007/3-540-10003-2\_83},
doi = {10.1007/3-540-10003-2\_83},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Kozen80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/LangmaackO80,
author = {Hans Langmaack and
Ernst{-}R{\"{u}}diger Olderog},
editor = {J. W. de Bakker and
Jan van Leeuwen},
title = {Present-Day Hoare-Like Systems for Programming Languages with Procedures:
Power, Limits and most Likely Expressions},
booktitle = {Automata, Languages and Programming, 7th Colloquium, Noordweijkerhout,
The Netherlands, July 14-18, 1980, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {85},
pages = {363--373},
publisher = {Springer},
year = {1980},
url = {https://doi.org/10.1007/3-540-10003-2\_84},
doi = {10.1007/3-540-10003-2\_84},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/LangmaackO80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/LewisP80,
author = {Harry R. Lewis and
Christos H. Papadimitriou},
editor = {J. W. de Bakker and
Jan van Leeuwen},
title = {Symmetric Space-Bounded Computation (Extended Abstract)},
booktitle = {Automata, Languages and Programming, 7th Colloquium, Noordweijkerhout,
The Netherlands, July 14-18, 1980, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {85},
pages = {374--384},
publisher = {Springer},
year = {1980},
url = {https://doi.org/10.1007/3-540-10003-2\_85},
doi = {10.1007/3-540-10003-2\_85},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icalp/LewisP80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/LucaR80,
author = {Aldo de Luca and
Antonio Restivo},
editor = {J. W. de Bakker and
Jan van Leeuwen},
title = {On Some Properties of Local Testability},
booktitle = {Automata, Languages and Programming, 7th Colloquium, Noordweijkerhout,
The Netherlands, July 14-18, 1980, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {85},
pages = {385--393},
publisher = {Springer},
year = {1980},
url = {https://doi.org/10.1007/3-540-10003-2\_86},
doi = {10.1007/3-540-10003-2\_86},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/LucaR80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Majster-Cederbaum80,
author = {Mila E. Majster{-}Cederbaum},
editor = {J. W. de Bakker and
Jan van Leeuwen},
title = {Semantics: Algebras, Fixed Points, Axioms},
booktitle = {Automata, Languages and Programming, 7th Colloquium, Noordweijkerhout,
The Netherlands, July 14-18, 1980, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {85},
pages = {394--408},
publisher = {Springer},
year = {1980},
url = {https://doi.org/10.1007/3-540-10003-2\_87},
doi = {10.1007/3-540-10003-2\_87},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Majster-Cederbaum80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Makowsky80,
author = {Johann A. Makowsky},
editor = {J. W. de Bakker and
Jan van Leeuwen},
title = {Measuring the Expressive Power of Dynamic Logics: An Application of
Abstract Model Theory},
booktitle = {Automata, Languages and Programming, 7th Colloquium, Noordweijkerhout,
The Netherlands, July 14-18, 1980, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {85},
pages = {409--421},
publisher = {Springer},
year = {1980},
url = {https://doi.org/10.1007/3-540-10003-2\_88},
doi = {10.1007/3-540-10003-2\_88},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Makowsky80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Mehlhorn80,
author = {Kurt Mehlhorn},
editor = {J. W. de Bakker and
Jan van Leeuwen},
title = {Pebbling Moutain Ranges and its Application of DCFL-Recognition},
booktitle = {Automata, Languages and Programming, 7th Colloquium, Noordweijkerhout,
The Netherlands, July 14-18, 1980, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {85},
pages = {422--435},
publisher = {Springer},
year = {1980},
url = {https://doi.org/10.1007/3-540-10003-2\_89},
doi = {10.1007/3-540-10003-2\_89},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Mehlhorn80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Mosses80,
author = {Peter D. Mosses},
editor = {J. W. de Bakker and
Jan van Leeuwen},
title = {A Constructive Approach to Compiler Correctness},
booktitle = {Automata, Languages and Programming, 7th Colloquium, Noordweijkerhout,
The Netherlands, July 14-18, 1980, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {85},
pages = {449--469},
publisher = {Springer},
year = {1980},
url = {https://doi.org/10.1007/3-540-10003-2\_91},
doi = {10.1007/3-540-10003-2\_91},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icalp/Mosses80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/PapadimitriouB80,
author = {Christos H. Papadimitriou and
Jon Louis Bentley},
editor = {J. W. de Bakker and
Jan van Leeuwen},
title = {A Worst-Case Analysis of Nearest Neighbor Searching by Projection},
booktitle = {Automata, Languages and Programming, 7th Colloquium, Noordweijkerhout,
The Netherlands, July 14-18, 1980, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {85},
pages = {470--482},
publisher = {Springer},
year = {1980},
url = {https://doi.org/10.1007/3-540-10003-2\_92},
doi = {10.1007/3-540-10003-2\_92},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/PapadimitriouB80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Pin80,
author = {Jean{-}Eric Pin},
editor = {J. W. de Bakker and
Jan van Leeuwen},
title = {Proprietes syntactiques du produit non ambigu},
booktitle = {Automata, Languages and Programming, 7th Colloquium, Noordweijkerhout,
The Netherlands, July 14-18, 1980, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {85},
pages = {483--499},
publisher = {Springer},
year = {1980},
url = {https://doi.org/10.1007/3-540-10003-2\_93},
doi = {10.1007/3-540-10003-2\_93},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Pin80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/RaihaU80,
author = {Kari{-}Jouko R{\"{a}}ih{\"{a}} and
Esko Ukkonen},
editor = {J. W. de Bakker and
Jan van Leeuwen},
title = {On the Optimal Assignment of Attributes to Passes in Multi-Pass Attribute
Evaluators},
booktitle = {Automata, Languages and Programming, 7th Colloquium, Noordweijkerhout,
The Netherlands, July 14-18, 1980, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {85},
pages = {500--511},
publisher = {Springer},
year = {1980},
url = {https://doi.org/10.1007/3-540-10003-2\_94},
doi = {10.1007/3-540-10003-2\_94},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/RaihaU80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/RaoultV80,
author = {Jean{-}Claude Raoult and
Jean Vuillemin},
editor = {J. W. de Bakker and
Jan van Leeuwen},
title = {Optimal Unbounded Search Strategies},
booktitle = {Automata, Languages and Programming, 7th Colloquium, Noordweijkerhout,
The Netherlands, July 14-18, 1980, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {85},
pages = {512--530},
publisher = {Springer},
year = {1980},
url = {https://doi.org/10.1007/3-540-10003-2\_95},
doi = {10.1007/3-540-10003-2\_95},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/RaoultV80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Reischuk80,
author = {R{\"{u}}diger Reischuk},
editor = {J. W. de Bakker and
Jan van Leeuwen},
title = {A "Fast Implementation" of a Multidimensional Storage into a Tree
Storage},
booktitle = {Automata, Languages and Programming, 7th Colloquium, Noordweijkerhout,
The Netherlands, July 14-18, 1980, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {85},
pages = {531--542},
publisher = {Springer},
year = {1980},
url = {https://doi.org/10.1007/3-540-10003-2\_96},
doi = {10.1007/3-540-10003-2\_96},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Reischuk80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Salomaa80,
author = {Arto Salomaa},
editor = {J. W. de Bakker and
Jan van Leeuwen},
title = {Grammatical Families},
booktitle = {Automata, Languages and Programming, 7th Colloquium, Noordweijkerhout,
The Netherlands, July 14-18, 1980, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {85},
pages = {543--554},
publisher = {Springer},
year = {1980},
url = {https://doi.org/10.1007/3-540-10003-2\_97},
doi = {10.1007/3-540-10003-2\_97},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Salomaa80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Schlichtiger80,
author = {Peter Schlichtiger},
editor = {J. W. de Bakker and
Jan van Leeuwen},
title = {Partitioned Chain Grammars},
booktitle = {Automata, Languages and Programming, 7th Colloquium, Noordweijkerhout,
The Netherlands, July 14-18, 1980, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {85},
pages = {555--568},
publisher = {Springer},
year = {1980},
url = {https://doi.org/10.1007/3-540-10003-2\_98},
doi = {10.1007/3-540-10003-2\_98},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Schlichtiger80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Schmidt80,
author = {Erik Meineche Schmidt},
editor = {J. W. de Bakker and
Jan van Leeuwen},
title = {Space-Restricted Attribute Grammars},
booktitle = {Automata, Languages and Programming, 7th Colloquium, Noordweijkerhout,
The Netherlands, July 14-18, 1980, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {85},
pages = {436--448},
publisher = {Springer},
year = {1980},
url = {https://doi.org/10.1007/3-540-10003-2\_90},
doi = {10.1007/3-540-10003-2\_90},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Schmidt80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/SchmidtS80,
author = {Jeanette P. Schmidt and
Eli Shamir},
editor = {J. W. de Bakker and
Jan van Leeuwen},
title = {An Improved Program for Constructing Open Hash Tables},
booktitle = {Automata, Languages and Programming, 7th Colloquium, Noordweijkerhout,
The Netherlands, July 14-18, 1980, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {85},
pages = {569--581},
publisher = {Springer},
year = {1980},
url = {https://doi.org/10.1007/3-540-10003-2\_99},
doi = {10.1007/3-540-10003-2\_99},
timestamp = {Thu, 21 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/SchmidtS80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Shamir80,
author = {Adi Shamir},
editor = {J. W. de Bakker and
Jan van Leeuwen},
title = {On the Power of Commutativity in Cryptography},
booktitle = {Automata, Languages and Programming, 7th Colloquium, Noordweijkerhout,
The Netherlands, July 14-18, 1980, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {85},
pages = {582--595},
publisher = {Springer},
year = {1980},
url = {https://doi.org/10.1007/3-540-10003-2\_100},
doi = {10.1007/3-540-10003-2\_100},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Shamir80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/SippuS80,
author = {Seppo Sippu and
Eljas Soisalon{-}Soininen},
editor = {J. W. de Bakker and
Jan van Leeuwen},
title = {Characterizations of the LL(k) Property},
booktitle = {Automata, Languages and Programming, 7th Colloquium, Noordweijkerhout,
The Netherlands, July 14-18, 1980, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {85},
pages = {596--608},
publisher = {Springer},
year = {1980},
url = {https://doi.org/10.1007/3-540-10003-2\_101},
doi = {10.1007/3-540-10003-2\_101},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/SippuS80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Smyth80,
author = {Michael B. Smyth},
editor = {J. W. de Bakker and
Jan van Leeuwen},
title = {Computability in Categories},
booktitle = {Automata, Languages and Programming, 7th Colloquium, Noordweijkerhout,
The Netherlands, July 14-18, 1980, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {85},
pages = {609--620},
publisher = {Springer},
year = {1980},
url = {https://doi.org/10.1007/3-540-10003-2\_102},
doi = {10.1007/3-540-10003-2\_102},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Smyth80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Snir80,
author = {Marc Snir},
editor = {J. W. de Bakker and
Jan van Leeuwen},
title = {On the Size Complexity of Monotone Formulas},
booktitle = {Automata, Languages and Programming, 7th Colloquium, Noordweijkerhout,
The Netherlands, July 14-18, 1980, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {85},
pages = {621--631},
publisher = {Springer},
year = {1980},
url = {https://doi.org/10.1007/3-540-10003-2\_103},
doi = {10.1007/3-540-10003-2\_103},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Snir80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Toffoli80,
author = {Tommaso Toffoli},
editor = {J. W. de Bakker and
Jan van Leeuwen},
title = {Reversible Computing},
booktitle = {Automata, Languages and Programming, 7th Colloquium, Noordweijkerhout,
The Netherlands, July 14-18, 1980, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {85},
pages = {632--644},
publisher = {Springer},
year = {1980},
url = {https://doi.org/10.1007/3-540-10003-2\_104},
doi = {10.1007/3-540-10003-2\_104},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icalp/Toffoli80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Turchin80,
author = {Valentin F. Turchin},
editor = {J. W. de Bakker and
Jan van Leeuwen},
title = {The Use of Metasystem Transition in Theorem Proving and Program Optimization},
booktitle = {Automata, Languages and Programming, 7th Colloquium, Noordweijkerhout,
The Netherlands, July 14-18, 1980, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {85},
pages = {645--657},
publisher = {Springer},
year = {1980},
url = {https://doi.org/10.1007/3-540-10003-2\_105},
doi = {10.1007/3-540-10003-2\_105},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Turchin80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Vitanyi80,
author = {Paul M. B. Vit{\'{a}}nyi},
editor = {J. W. de Bakker and
Jan van Leeuwen},
title = {On the Power of Real-Time Machines Under Varying Specifications (Extended
Abstract)},
booktitle = {Automata, Languages and Programming, 7th Colloquium, Noordweijkerhout,
The Netherlands, July 14-18, 1980, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {85},
pages = {658--671},
publisher = {Springer},
year = {1980},
url = {https://doi.org/10.1007/3-540-10003-2\_106},
doi = {10.1007/3-540-10003-2\_106},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Vitanyi80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icalp/1980,
editor = {J. W. de Bakker and
Jan van Leeuwen},
title = {Automata, Languages and Programming, 7th Colloquium, Noordweijkerhout,
The Netherlands, July 14-18, 1980, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {85},
publisher = {Springer},
year = {1980},
url = {https://doi.org/10.1007/3-540-10003-2},
doi = {10.1007/3-540-10003-2},
isbn = {3-540-10003-2},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/1980.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-23 15:19 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:
