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/icalp79.bht:"
download as .bib file
@inproceedings{DBLP:conf/icalp/AstesianoC79,
author = {Egidio Astesiano and
Gerardo Costa},
editor = {Hermann A. Maurer},
title = {Sharing in Nondeterminism},
booktitle = {Automata, Languages and Programming, 6th Colloquium, Graz, Austria,
July 16-20, 1979, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {71},
pages = {1--15},
publisher = {Springer},
year = {1979},
url = {https://doi.org/10.1007/3-540-09510-1\_1},
doi = {10.1007/3-540-09510-1\_1},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/AstesianoC79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Berstel79,
author = {Jean Berstel},
editor = {Hermann A. Maurer},
title = {Sur les mots sans carr{\'{e}} d{\'{e}}finis par un morphisme},
booktitle = {Automata, Languages and Programming, 6th Colloquium, Graz, Austria,
July 16-20, 1979, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {71},
pages = {16--25},
publisher = {Springer},
year = {1979},
url = {https://doi.org/10.1007/3-540-09510-1\_2},
doi = {10.1007/3-540-09510-1\_2},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Berstel79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/BertoniMM79,
author = {Alberto Bertoni and
Giancarlo Mauri and
Pierangelo Miglioli},
editor = {Hermann A. Maurer},
title = {A Characterization of Abstract Data as Model-Theoretic Invariants},
booktitle = {Automata, Languages and Programming, 6th Colloquium, Graz, Austria,
July 16-20, 1979, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {71},
pages = {26--37},
publisher = {Springer},
year = {1979},
url = {https://doi.org/10.1007/3-540-09510-1\_3},
doi = {10.1007/3-540-09510-1\_3},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/BertoniMM79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Blattner79,
author = {Meera Blattner},
editor = {Hermann A. Maurer},
title = {Inherent Ambiguities in Families of Grammars (Extended Abstract)},
booktitle = {Automata, Languages and Programming, 6th Colloquium, Graz, Austria,
July 16-20, 1979, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {71},
pages = {38--48},
publisher = {Springer},
year = {1979},
url = {https://doi.org/10.1007/3-540-09510-1\_4},
doi = {10.1007/3-540-09510-1\_4},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Blattner79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/BookB79,
author = {Ronald V. Book and
Franz{-}Josef Brandenburg},
editor = {Hermann A. Maurer},
title = {Representing Complexity Classes by Equality Sets (Preliminary Report)},
booktitle = {Automata, Languages and Programming, 6th Colloquium, Graz, Austria,
July 16-20, 1979, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {71},
pages = {49--57},
publisher = {Springer},
year = {1979},
url = {https://doi.org/10.1007/3-540-09510-1\_5},
doi = {10.1007/3-540-09510-1\_5},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/BookB79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/BraunmuhlH79,
author = {Burchard von Braunm{\"{u}}hl and
Eckehart Hotzel},
editor = {Hermann A. Maurer},
title = {Supercounter Machines},
booktitle = {Automata, Languages and Programming, 6th Colloquium, Graz, Austria,
July 16-20, 1979, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {71},
pages = {58--72},
publisher = {Springer},
year = {1979},
url = {https://doi.org/10.1007/3-540-09510-1\_6},
doi = {10.1007/3-540-09510-1\_6},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/BraunmuhlH79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/BroyDPPW79,
author = {Manfred Broy and
Walter Dosch and
Helmuth Partsch and
Peter Pepper and
Martin Wirsing},
editor = {Hermann A. Maurer},
title = {Existential Quantifiers in Abstract Data Types},
booktitle = {Automata, Languages and Programming, 6th Colloquium, Graz, Austria,
July 16-20, 1979, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {71},
pages = {73--87},
publisher = {Springer},
year = {1979},
url = {https://doi.org/10.1007/3-540-09510-1\_7},
doi = {10.1007/3-540-09510-1\_7},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/BroyDPPW79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Choffrut79,
author = {Christian Choffrut},
editor = {Hermann A. Maurer},
title = {A Generalization of Ginsburg and Rose's Characterization of {G-S-M}
Mappings},
booktitle = {Automata, Languages and Programming, 6th Colloquium, Graz, Austria,
July 16-20, 1979, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {71},
pages = {88--103},
publisher = {Springer},
year = {1979},
url = {https://doi.org/10.1007/3-540-09510-1\_8},
doi = {10.1007/3-540-09510-1\_8},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Choffrut79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Chottin79,
author = {Laurent Chottin},
editor = {Hermann A. Maurer},
title = {Strict Deterministic Languages and Controlled Rewriting Systems},
booktitle = {Automata, Languages and Programming, 6th Colloquium, Graz, Austria,
July 16-20, 1979, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {71},
pages = {104--117},
publisher = {Springer},
year = {1979},
url = {https://doi.org/10.1007/3-540-09510-1\_9},
doi = {10.1007/3-540-09510-1\_9},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Chottin79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Commentz-Walter79,
author = {Beate Commentz{-}Walter},
editor = {Hermann A. Maurer},
title = {A String Matching Algorithm Fast on the Average},
booktitle = {Automata, Languages and Programming, 6th Colloquium, Graz, Austria,
July 16-20, 1979, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {71},
pages = {118--132},
publisher = {Springer},
year = {1979},
url = {https://doi.org/10.1007/3-540-09510-1\_10},
doi = {10.1007/3-540-09510-1\_10},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Commentz-Walter79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/CoppoDS79,
author = {Mario Coppo and
Mariangiola Dezani{-}Ciancaglini and
Patrick Sall{\'{e}}},
editor = {Hermann A. Maurer},
title = {Functional Characterization of Some Semantic Equalities inside Lambda-Calculus},
booktitle = {Automata, Languages and Programming, 6th Colloquium, Graz, Austria,
July 16-20, 1979, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {71},
pages = {133--146},
publisher = {Springer},
year = {1979},
url = {https://doi.org/10.1007/3-540-09510-1\_11},
doi = {10.1007/3-540-09510-1\_11},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/CoppoDS79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/CremersH79,
author = {Armin B. Cremers and
Thomas N. Hibbard},
editor = {Hermann A. Maurer},
title = {Arbitration and Queuing Under Limited Shared Storage Requirements
(Preliminary Report)},
booktitle = {Automata, Languages and Programming, 6th Colloquium, Graz, Austria,
July 16-20, 1979, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {71},
pages = {147--160},
publisher = {Springer},
year = {1979},
url = {https://doi.org/10.1007/3-540-09510-1\_12},
doi = {10.1007/3-540-09510-1\_12},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/CremersH79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Culik79,
author = {Karel Cul{\'{\i}}k II},
editor = {Hermann A. Maurer},
title = {On the Homomorphic Characterizations of Families of Languages},
booktitle = {Automata, Languages and Programming, 6th Colloquium, Graz, Austria,
July 16-20, 1979, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {71},
pages = {161--170},
publisher = {Springer},
year = {1979},
url = {https://doi.org/10.1007/3-540-09510-1\_13},
doi = {10.1007/3-540-09510-1\_13},
timestamp = {Wed, 24 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icalp/Culik79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/DembinskiM79,
author = {Piotr Dembinski and
Jan Maluszynski},
editor = {Hermann A. Maurer},
title = {Two Level Grammars: CF-Grammars with Equation Schemes},
booktitle = {Automata, Languages and Programming, 6th Colloquium, Graz, Austria,
July 16-20, 1979, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {71},
pages = {171--187},
publisher = {Springer},
year = {1979},
url = {https://doi.org/10.1007/3-540-09510-1\_14},
doi = {10.1007/3-540-09510-1\_14},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/DembinskiM79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/DershowitzM79,
author = {Nachum Dershowitz and
Zohar Manna},
editor = {Hermann A. Maurer},
title = {Proving termination with Multiset Orderings},
booktitle = {Automata, Languages and Programming, 6th Colloquium, Graz, Austria,
July 16-20, 1979, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {71},
pages = {188--202},
publisher = {Springer},
year = {1979},
url = {https://doi.org/10.1007/3-540-09510-1\_15},
doi = {10.1007/3-540-09510-1\_15},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/DershowitzM79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Deussen79,
author = {Peter Deussen},
editor = {Hermann A. Maurer},
title = {One Abstract Accepting Algorithm for all Kinds of Parsers},
booktitle = {Automata, Languages and Programming, 6th Colloquium, Graz, Austria,
July 16-20, 1979, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {71},
pages = {203--217},
publisher = {Springer},
year = {1979},
url = {https://doi.org/10.1007/3-540-09510-1\_16},
doi = {10.1007/3-540-09510-1\_16},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Deussen79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/DuncanY79,
author = {Arthur G. Duncan and
Lawrence Yelowitz},
editor = {Hermann A. Maurer},
title = {Studies in Abstract/Concrete Mappings in Proving Algorithm Correctness},
booktitle = {Automata, Languages and Programming, 6th Colloquium, Graz, Austria,
July 16-20, 1979, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {71},
pages = {218--229},
publisher = {Springer},
year = {1979},
url = {https://doi.org/10.1007/3-540-09510-1\_17},
doi = {10.1007/3-540-09510-1\_17},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/DuncanY79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/FichB79,
author = {Faith E. Fich and
Janusz A. Brzozowski},
editor = {Hermann A. Maurer},
title = {A Characterization of a Dot-Depth Two Analogue of Generalized Definite
Languages},
booktitle = {Automata, Languages and Programming, 6th Colloquium, Graz, Austria,
July 16-20, 1979, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {71},
pages = {230--244},
publisher = {Springer},
year = {1979},
url = {https://doi.org/10.1007/3-540-09510-1\_18},
doi = {10.1007/3-540-09510-1\_18},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/FichB79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Friede79,
author = {Dietmar Friede},
editor = {Hermann A. Maurer},
title = {Partitioned LL(k) Grammars},
booktitle = {Automata, Languages and Programming, 6th Colloquium, Graz, Austria,
July 16-20, 1979, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {71},
pages = {245--255},
publisher = {Springer},
year = {1979},
url = {https://doi.org/10.1007/3-540-09510-1\_19},
doi = {10.1007/3-540-09510-1\_19},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Friede79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Gallier79,
author = {Jean H. Gallier},
editor = {Hermann A. Maurer},
title = {Recursion Schemes and Generalized Interpretations (Extended Abstract)},
booktitle = {Automata, Languages and Programming, 6th Colloquium, Graz, Austria,
July 16-20, 1979, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {71},
pages = {256--270},
publisher = {Springer},
year = {1979},
url = {https://doi.org/10.1007/3-540-09510-1\_20},
doi = {10.1007/3-540-09510-1\_20},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Gallier79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Goldstine79,
author = {Jonathan Goldstine},
editor = {Hermann A. Maurer},
title = {A Rational Theory of {AFLS}},
booktitle = {Automata, Languages and Programming, 6th Colloquium, Graz, Austria,
July 16-20, 1979, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {71},
pages = {271--281},
publisher = {Springer},
year = {1979},
url = {https://doi.org/10.1007/3-540-09510-1\_21},
doi = {10.1007/3-540-09510-1\_21},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Goldstine79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Hartmanis79,
author = {Juris Hartmanis},
editor = {Hermann A. Maurer},
title = {On the Succintness of Different Representations of Languages},
booktitle = {Automata, Languages and Programming, 6th Colloquium, Graz, Austria,
July 16-20, 1979, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {71},
pages = {282--288},
publisher = {Springer},
year = {1979},
url = {https://doi.org/10.1007/3-540-09510-1\_22},
doi = {10.1007/3-540-09510-1\_22},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Hartmanis79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Heide79,
author = {Friedhelm Meyer auf der Heide},
editor = {Hermann A. Maurer},
title = {A Comparison Between Two Variations of a Pebble Game on Graphs},
booktitle = {Automata, Languages and Programming, 6th Colloquium, Graz, Austria,
July 16-20, 1979, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {71},
pages = {411--421},
publisher = {Springer},
year = {1979},
url = {https://doi.org/10.1007/3-540-09510-1\_32},
doi = {10.1007/3-540-09510-1\_32},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Heide79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Istrail79,
author = {Sorin Istrail},
editor = {Hermann A. Maurer},
title = {A Fixed-Point Theorem for Recursive-Enumerable Languages and Some
Considerations About Fixed-Point Semantics of Monadic Programs},
booktitle = {Automata, Languages and Programming, 6th Colloquium, Graz, Austria,
July 16-20, 1979, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {71},
pages = {289--303},
publisher = {Springer},
year = {1979},
url = {https://doi.org/10.1007/3-540-09510-1\_23},
doi = {10.1007/3-540-09510-1\_23},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Istrail79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Janko79,
author = {Wolfgang Janko},
editor = {Hermann A. Maurer},
title = {Hierarchic Index Sequential Search with Optimal Variable Block Size
and Its Minimal Expected Number of Comparisons},
booktitle = {Automata, Languages and Programming, 6th Colloquium, Graz, Austria,
July 16-20, 1979, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {71},
pages = {304--315},
publisher = {Springer},
year = {1979},
url = {https://doi.org/10.1007/3-540-09510-1\_24},
doi = {10.1007/3-540-09510-1\_24},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Janko79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Jeanrond79,
author = {Hans{-}Josef Jeanrond},
editor = {Hermann A. Maurer},
title = {A Unique Termination Theorem for a Theory with Generalised Commutative
Axioms},
booktitle = {Automata, Languages and Programming, 6th Colloquium, Graz, Austria,
July 16-20, 1979, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {71},
pages = {316--330},
publisher = {Springer},
year = {1979},
url = {https://doi.org/10.1007/3-540-09510-1\_25},
doi = {10.1007/3-540-09510-1\_25},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Jeanrond79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/KamimuraS79,
author = {Tsutomu Kamimura and
Giora Slutzki},
editor = {Hermann A. Maurer},
title = {DAGs and Chomsky Hierarchy (Extended Abstract)},
booktitle = {Automata, Languages and Programming, 6th Colloquium, Graz, Austria,
July 16-20, 1979, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {71},
pages = {331--337},
publisher = {Springer},
year = {1979},
url = {https://doi.org/10.1007/3-540-09510-1\_26},
doi = {10.1007/3-540-09510-1\_26},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/KamimuraS79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Karp79,
author = {Richard M. Karp},
editor = {Hermann A. Maurer},
title = {Recent Advances in the Probabilistic Analysis of Graph-Theoretic Algorithms
(Abstract)},
booktitle = {Automata, Languages and Programming, 6th Colloquium, Graz, Austria,
July 16-20, 1979, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {71},
pages = {338--339},
publisher = {Springer},
year = {1979},
url = {https://doi.org/10.1007/3-540-09510-1\_27},
doi = {10.1007/3-540-09510-1\_27},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Karp79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Kemp79,
author = {Rainer Kemp},
editor = {Hermann A. Maurer},
title = {On the Average Stack Size of Regularly Distributed Binary Trees},
booktitle = {Automata, Languages and Programming, 6th Colloquium, Graz, Austria,
July 16-20, 1979, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {71},
pages = {340--355},
publisher = {Springer},
year = {1979},
url = {https://doi.org/10.1007/3-540-09510-1\_28},
doi = {10.1007/3-540-09510-1\_28},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Kemp79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/KowalkV79,
author = {Wolfgang Kowalk and
R{\"{u}}diger Valk},
editor = {Hermann A. Maurer},
title = {On Reductions of Parallel Programs},
booktitle = {Automata, Languages and Programming, 6th Colloquium, Graz, Austria,
July 16-20, 1979, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {71},
pages = {356--369},
publisher = {Springer},
year = {1979},
url = {https://doi.org/10.1007/3-540-09510-1\_29},
doi = {10.1007/3-540-09510-1\_29},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/KowalkV79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/KuichPU79,
author = {Werner Kuich and
Helmut Prodinger and
Friedrich J. Urbanek},
editor = {Hermann A. Maurer},
title = {On the Height of Derivation Trees},
booktitle = {Automata, Languages and Programming, 6th Colloquium, Graz, Austria,
July 16-20, 1979, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {71},
pages = {370--384},
publisher = {Springer},
year = {1979},
url = {https://doi.org/10.1007/3-540-09510-1\_30},
doi = {10.1007/3-540-09510-1\_30},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/KuichPU79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/MannaP79,
author = {Zohar Manna and
Amir Pnueli},
editor = {Hermann A. Maurer},
title = {The Modal Logic of Programs},
booktitle = {Automata, Languages and Programming, 6th Colloquium, Graz, Austria,
July 16-20, 1979, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {71},
pages = {385--409},
publisher = {Springer},
year = {1979},
url = {https://doi.org/10.1007/3-540-09510-1\_31},
doi = {10.1007/3-540-09510-1\_31},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/MannaP79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/MiltonF79,
author = {D. R. Milton and
Charles N. Fischer},
editor = {Hermann A. Maurer},
title = {LL(k) Parsing for Attributed Grammars},
booktitle = {Automata, Languages and Programming, 6th Colloquium, Graz, Austria,
July 16-20, 1979, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {71},
pages = {422--430},
publisher = {Springer},
year = {1979},
url = {https://doi.org/10.1007/3-540-09510-1\_33},
doi = {10.1007/3-540-09510-1\_33},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/MiltonF79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/MonienS79,
author = {Burkhard Monien and
Ivan Hal Sudborough},
editor = {Hermann A. Maurer},
title = {On Eliminating Nondeterminism From Turing Machines Which Use Less
Than Logarithmic Worktape Space},
booktitle = {Automata, Languages and Programming, 6th Colloquium, Graz, Austria,
July 16-20, 1979, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {71},
pages = {431--445},
publisher = {Springer},
year = {1979},
url = {https://doi.org/10.1007/3-540-09510-1\_34},
doi = {10.1007/3-540-09510-1\_34},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/MonienS79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Nijholt79,
author = {Anton Nijholt},
editor = {Hermann A. Maurer},
title = {Structure Preserving Transformations on Non-Left-Recursive Grammars
(Preliminary Version)},
booktitle = {Automata, Languages and Programming, 6th Colloquium, Graz, Austria,
July 16-20, 1979, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {71},
pages = {446--459},
publisher = {Springer},
year = {1979},
url = {https://doi.org/10.1007/3-540-09510-1\_35},
doi = {10.1007/3-540-09510-1\_35},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Nijholt79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/PapadimitriouY79,
author = {Christos H. Papadimitriou and
Mihalis Yannakakis},
editor = {Hermann A. Maurer},
title = {The Complexity of Restricted Minimum Spanning Tree Problems (Extended
Abstract)},
booktitle = {Automata, Languages and Programming, 6th Colloquium, Graz, Austria,
July 16-20, 1979, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {71},
pages = {460--470},
publisher = {Springer},
year = {1979},
url = {https://doi.org/10.1007/3-540-09510-1\_36},
doi = {10.1007/3-540-09510-1\_36},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/PapadimitriouY79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Rozenberg79,
author = {Grzegorz Rozenberg},
editor = {Hermann A. Maurer},
title = {A Systematic Approach to Formal Language Theory Through Parallel Rewriting},
booktitle = {Automata, Languages and Programming, 6th Colloquium, Graz, Austria,
July 16-20, 1979, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {71},
pages = {471--478},
publisher = {Springer},
year = {1979},
url = {https://doi.org/10.1007/3-540-09510-1\_37},
doi = {10.1007/3-540-09510-1\_37},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Rozenberg79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/RozenbergV79,
author = {Grzegorz Rozenberg and
Dirk Vermeir},
editor = {Hermann A. Maurer},
title = {Extending the Notion of Finite Index},
booktitle = {Automata, Languages and Programming, 6th Colloquium, Graz, Austria,
July 16-20, 1979, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {71},
pages = {479--488},
publisher = {Springer},
year = {1979},
url = {https://doi.org/10.1007/3-540-09510-1\_38},
doi = {10.1007/3-540-09510-1\_38},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/RozenbergV79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Ruzzo79,
author = {Walter L. Ruzzo},
editor = {Hermann A. Maurer},
title = {On the Complexity of General Context-Free Language Parsing and Recognition
(Extended Abstract)},
booktitle = {Automata, Languages and Programming, 6th Colloquium, Graz, Austria,
July 16-20, 1979, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {71},
pages = {489--497},
publisher = {Springer},
year = {1979},
url = {https://doi.org/10.1007/3-540-09510-1\_39},
doi = {10.1007/3-540-09510-1\_39},
timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Ruzzo79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/SavageS79,
author = {John E. Savage and
Sowmitri Swamy},
editor = {Hermann A. Maurer},
title = {Space-Time Tradeoffs for Oblivious Interger Multiplications},
booktitle = {Automata, Languages and Programming, 6th Colloquium, Graz, Austria,
July 16-20, 1979, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {71},
pages = {498--504},
publisher = {Springer},
year = {1979},
url = {https://doi.org/10.1007/3-540-09510-1\_40},
doi = {10.1007/3-540-09510-1\_40},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/SavageS79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Schmidt79,
author = {Gunther Schmidt},
editor = {Hermann A. Maurer},
title = {Investigating Programs in Terms of Partial Graphs},
booktitle = {Automata, Languages and Programming, 6th Colloquium, Graz, Austria,
July 16-20, 1979, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {71},
pages = {505--519},
publisher = {Springer},
year = {1979},
url = {https://doi.org/10.1007/3-540-09510-1\_41},
doi = {10.1007/3-540-09510-1\_41},
timestamp = {Thu, 28 Dec 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icalp/Schmidt79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Schonhage79,
author = {Arnold Sch{\"{o}}nhage},
editor = {Hermann A. Maurer},
title = {On the Power of Random Access Machines},
booktitle = {Automata, Languages and Programming, 6th Colloquium, Graz, Austria,
July 16-20, 1979, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {71},
pages = {520--529},
publisher = {Springer},
year = {1979},
url = {https://doi.org/10.1007/3-540-09510-1\_42},
doi = {10.1007/3-540-09510-1\_42},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Schonhage79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Schwartz79,
author = {Richard L. Schwartz},
editor = {Hermann A. Maurer},
title = {An Aximatic Treatment of Algol 68 Routines},
booktitle = {Automata, Languages and Programming, 6th Colloquium, Graz, Austria,
July 16-20, 1979, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {71},
pages = {530--545},
publisher = {Springer},
year = {1979},
url = {https://doi.org/10.1007/3-540-09510-1\_43},
doi = {10.1007/3-540-09510-1\_43},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Schwartz79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Selman79,
author = {Alan L. Selman},
editor = {Hermann A. Maurer},
title = {P-Selective Sets, Tally Languages, and the Behavior of Polynomial
Time Reducibilities on {NP}},
booktitle = {Automata, Languages and Programming, 6th Colloquium, Graz, Austria,
July 16-20, 1979, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {71},
pages = {546--555},
publisher = {Springer},
year = {1979},
url = {https://doi.org/10.1007/3-540-09510-1\_44},
doi = {10.1007/3-540-09510-1\_44},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Selman79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/SethiT79,
author = {Ravi Sethi and
Adrian Tang},
editor = {Hermann A. Maurer},
title = {Constructing Call-by-Value Continuation Semantics},
booktitle = {Automata, Languages and Programming, 6th Colloquium, Graz, Austria,
July 16-20, 1979, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {71},
pages = {556--570},
publisher = {Springer},
year = {1979},
url = {https://doi.org/10.1007/3-540-09510-1\_45},
doi = {10.1007/3-540-09510-1\_45},
timestamp = {Wed, 21 Mar 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icalp/SethiT79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/ShieldsL79,
author = {M. W. Shields and
Peter E. Lauer},
editor = {Hermann A. Maurer},
title = {A Formal Semantics for Concurrent Systems},
booktitle = {Automata, Languages and Programming, 6th Colloquium, Graz, Austria,
July 16-20, 1979, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {71},
pages = {571--584},
publisher = {Springer},
year = {1979},
url = {https://doi.org/10.1007/3-540-09510-1\_46},
doi = {10.1007/3-540-09510-1\_46},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/ShieldsL79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/SippuS79,
author = {Seppo Sippu and
Eljas Soisalon{-}Soininen},
editor = {Hermann A. Maurer},
title = {Con Constructing LL(k) Parsers},
booktitle = {Automata, Languages and Programming, 6th Colloquium, Graz, Austria,
July 16-20, 1979, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {71},
pages = {585--595},
publisher = {Springer},
year = {1979},
url = {https://doi.org/10.1007/3-540-09510-1\_47},
doi = {10.1007/3-540-09510-1\_47},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/SippuS79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/ThatcherWW79,
author = {James W. Thatcher and
Eric G. Wagner and
Jesse B. Wright},
editor = {Hermann A. Maurer},
title = {More on Advice on Structuring Compilers and Proving Them Correct},
booktitle = {Automata, Languages and Programming, 6th Colloquium, Graz, Austria,
July 16-20, 1979, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {71},
pages = {596--615},
publisher = {Springer},
year = {1979},
url = {https://doi.org/10.1007/3-540-09510-1\_48},
doi = {10.1007/3-540-09510-1\_48},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/ThatcherWW79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Therien79,
author = {Denis Th{\'{e}}rien},
editor = {Hermann A. Maurer},
title = {Languages of Nilpotent and Solvable Groups (Extended Abstract)},
booktitle = {Automata, Languages and Programming, 6th Colloquium, Graz, Austria,
July 16-20, 1979, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {71},
pages = {616--632},
publisher = {Springer},
year = {1979},
url = {https://doi.org/10.1007/3-540-09510-1\_49},
doi = {10.1007/3-540-09510-1\_49},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Therien79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Tiuryn79,
author = {Jerzy Tiuryn},
editor = {Hermann A. Maurer},
title = {Unique Fixed Points v. Least Fixed Points},
booktitle = {Automata, Languages and Programming, 6th Colloquium, Graz, Austria,
July 16-20, 1979, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {71},
pages = {633--645},
publisher = {Springer},
year = {1979},
url = {https://doi.org/10.1007/3-540-09510-1\_50},
doi = {10.1007/3-540-09510-1\_50},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Tiuryn79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Ukkonen79,
author = {Esko Ukkonen},
editor = {Hermann A. Maurer},
title = {A Modification of the LR(k) Method for Constructing Compact Bottom-Up
Parsers},
booktitle = {Automata, Languages and Programming, 6th Colloquium, Graz, Austria,
July 16-20, 1979, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {71},
pages = {646--658},
publisher = {Springer},
year = {1979},
url = {https://doi.org/10.1007/3-540-09510-1\_51},
doi = {10.1007/3-540-09510-1\_51},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Ukkonen79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Ury79,
author = {L{\'{a}}szl{\'{o}} {\'{U}}ry},
editor = {Hermann A. Maurer},
title = {Optimal Decomposition of Linear Automata},
booktitle = {Automata, Languages and Programming, 6th Colloquium, Graz, Austria,
July 16-20, 1979, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {71},
pages = {659--667},
publisher = {Springer},
year = {1979},
url = {https://doi.org/10.1007/3-540-09510-1\_52},
doi = {10.1007/3-540-09510-1\_52},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Ury79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Wegner79,
author = {Lutz M. Wegner},
editor = {Hermann A. Maurer},
title = {Bracketed Two-Level Grammars - {A} Decidable and Practical Approach
to Language Definitions},
booktitle = {Automata, Languages and Programming, 6th Colloquium, Graz, Austria,
July 16-20, 1979, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {71},
pages = {668--682},
publisher = {Springer},
year = {1979},
url = {https://doi.org/10.1007/3-540-09510-1\_53},
doi = {10.1007/3-540-09510-1\_53},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Wegner79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icalp/1979,
editor = {Hermann A. Maurer},
title = {Automata, Languages and Programming, 6th Colloquium, Graz, Austria,
July 16-20, 1979, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {71},
publisher = {Springer},
year = {1979},
url = {https://doi.org/10.1007/3-540-09510-1},
doi = {10.1007/3-540-09510-1},
isbn = {3-540-09510-1},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/1979.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-28 00:26 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:
