7. ICALP 1980: Noordweijkerhout, The Netherland

J. W. de Bakker, Jan van Leeuwen (Eds.): Automata, Languages and Programming, 7th Colloquium, Noordweijkerhout, The Netherland, July 14-18, 1980, Proceedings. Lecture Notes in Computer Science 85 Springer 1980, ISBN 3-540-10003-2

- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icalp/Ainhirn80
- ask others
W. Ainhirn: How to Get Rid of Pseudoterminals. 1-11
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icalp/AlbertC80
- ask others
J. Albert, Karel Culik II: Test Sets for Homomorphism Equivalence on Context Free Languages. 12-18
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icalp/AlbertW80
- ask others
J. Albert, Lutz Michael Wegner: Languages with Homomorphic Replacements. 19-29
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icalp/Alt80
- ask others
Helmut Alt: Functions Equivalent to Integer Multiplication. 30-37
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icalp/AstesianoC80
- ask others
Egidio Astesiano, Gerardo Costa: Languages with Reducing Reflective Types. 38-50
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icalp/Back80
- ask others
Ralph-Johan Back: Semantics of Unbounded Nondeterminism. 51-63
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icalp/BeckerPS80
- ask others
Ronald I. Becker, Yehoshua Perl, Stephen R. Schach: A Shifting Algorithm for Min-Max Tree Partitioning. 64-75
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icalp/BergstraT80
- ask others
Jan A. Bergstra, J. V. Tucker: A Characterisation of Computable Data Types by Means of a Finite Equational Specification Method. 76-90
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icalp/Berman80
- ask others
Piotr Berman: A Note on Sweeping Automata. 91-97
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icalp/Bini80
- ask others
Dario Bini: Border Rank of a pxqx2 Tensor and the Optimal Approximation od a Pair of Bilinear Forms. 98-108
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icalp/Boasson80
- ask others
Luc Boasson: Derivations et Redutions dans les Grammaires Algebriques. 109-118
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icalp/CousotC80
- ask others
Patrick Cousot, Radhia Cousot: Semantic Analysis of Communicating Sequential Processes (Shortened Version). 119-133
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icalp/EhrenfeuchtR80
- ask others
Andrzej Ehrenfeucht, Grzegorz Rozenberg: DOS Systems and Languages. 134-141
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icalp/EhrigKP80
- ask others
Hartmut Ehrig, Hans-Jörg Kreowski, Peter Padawitz: Algebraic Implementation of Abstract Data Types: Concept, Syntax, Semantics and Correctness. 142-156
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icalp/EhrigKTWW80
- ask others
Hartmut Ehrig, Hans-Jörg Kreowski, James W. Thatcher, Eric G. Wagner, Jesse B. Wright: Parameterized Data Types in Algebraic Specification Languages (Short Version). 157-168
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icalp/EmersonC80
- ask others
E. Allen Emerson, Edmund M. Clarke: Characterizing Correctness Properties of Parallel Programs Using Fixpoints. 169-181
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icalp/EngelfrietF80
- ask others
Joost Engelfriet, Gilberto Filé: Formal Properties of One-Visit and Multi-Pass Attribute Grammars. 182-194
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icalp/EvenY80
- ask others
Shimon Even, Yacov Yacobi: Cryptocomplexity and NP-Completeness. 195-207
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icalp/FlajoletS80
- ask others
Philippe Flajolet, Jean-Marc Steyaert: On the Analysis of Tree-Matching Algorithms. 208-219
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icalp/FredericksonJ80
- ask others
Greg N. Frederickson, Donald B. Johnson: Generating and Searching Sets Induced by Networks. 221-233
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icalp/Furer80
- ask others
Martin Fürer: The Complexity of the Inequivalence Problem for Regular Expressions with Intersection. 234-245
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icalp/Galil80
- ask others
Zvi Galil: An Almost Linaer Time Algorithm for Computing a Dependency Basis in a Relational Data Base. 246-256
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icalp/GenrichT80
- ask others
Hartmann J. Genrich, P. S. Thiagarajan: Bipolar Synchronization Systems. 257-272
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icalp/GoralcikovaGK80
- ask others
A. Goralciková, Pavel Goralcik, Václav Koubek: Testing of Properties of Finite Algebras. 273-281
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icalp/Gray80
- ask others
Jim Gray: A Transaction Model. 282-298
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icalp/HennessyM80
- ask others
Matthew Hennessy, Robin Milner: On Observing Nondeterminism and Concurrency. 299-309
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icalp/HornungR80
- ask others
Günter Hornung, Peter Raulefs: Terminal Algebra Semantics and Retractions for Abstract Data Types. 310-323
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icalp/Huynh80
- ask others
Thiet-Dung Huynh: The Complexity of Semilinear Sets. 324-337
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icalp/KennawayH80
- ask others
Richard Kennaway, C. A. R. Hoare: A Theory of Nondeterminism. 338-350
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icalp/Kozen80
- ask others
Dexter Kozen: A Representation Theorem for Models of *-Free PDL. 351-362
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icalp/LangmaackO80
- ask others
Hans Langmaack, Ernst-Rüdiger Olderog: Present-Day Hoare-Like Systems for Programming Languages with Procedures: Power, Limits and most Likely Expressions. 363-373
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icalp/LewisP80
- ask others
Harry R. Lewis, Christos H. Papadimitriou: Symmetric Space-Bounded Computation (Extended Abstract). 374-384
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icalp/LucaR80
- ask others
Aldo de Luca, Antonio Restivo: On Some Properties of Local Testability. 385-393
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icalp/Majster-Cederbaum80
- ask others
Mila E. Majster-Cederbaum: Semantics: Algebras, Fixed Points, Axioms. 394-408
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icalp/Makowsky80
- ask others
Johann A. Makowsky: Measuring the Expressive Power of Dynamic Logics: An Application of Abstract Model Theory. 409-421, (Errata: ICALP 1981: 551)
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icalp/Mehlhorn80
- ask others
Kurt Mehlhorn: Pebbling Moutain Ranges and its Application of DCFL-Recognition. 422-435
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icalp/Schmidt80
- ask others
Erik Meineche Schmidt: Space-Restricted Attribute Grammars. 436-448
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icalp/Mosses80
- ask others
Peter D. Mosses: A Constructive Approach to Compiler Correctness. 449-469
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icalp/PapadimitriouB80
- ask others
Christos H. Papadimitriou, Jon Louis Bentley: A Worst-Case Analysis of Nearest Neighbor Searching by Projection. 470-482
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icalp/Pin80
- ask others
Jean-Eric Pin: Proprietes syntactiques du produit non ambigu. 483-499
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icalp/RaihaU80
- ask others
Kari-Jouko Räihä, Esko Ukkonen: On the Optimal Assignment of Attributes to Passes in Multi-Pass Attribute Evaluators. 500-511
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icalp/RaoultV80
- ask others
Jean-Claude Raoult, Jean Vuillemin: Optimal Unbounded Search Strategies. 512-530
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icalp/Reischuk80
- ask others
Rüdiger Reischuk: A "Fast Implementation" of a Multidimensional Storage into a Tree Storage. 531-542
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icalp/Salomaa80
- ask others
Arto Salomaa: Grammatical Families. 543-554
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icalp/Schlichtiger80
- ask others
Peter Schlichtiger: Partitioned Chain Grammars. 555-568
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icalp/SchmidtS80
- ask others
Jeanette P. Schmidt, Eli Shamir: An Improved Program for Constructing Open Hash Tables. 569-581
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icalp/Shamir80
- ask others
Adi Shamir: On the Power of Commutativity in Cryptography. 582-595
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icalp/SippuS80
- ask others
Seppo Sippu, Eljas Soisalon-Soininen: Characterizations of the LL(k) Property. 596-608
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icalp/Smyth80
- ask others
Michael B. Smyth: Computability in Categories. 609-620
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icalp/Snir80
- ask others
Marc Snir: On the Size Complexity of Monotone Formulas. 621-631
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icalp/Toffoli80
- ask others
Tommaso Toffoli: Reversible Computing. 632-644
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icalp/Turchin80
- ask others
Valentin F. Turchin: The Use of Metasystem Transition in Theorem Proving and Program Optimization. 645-657
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icalp/Vitanyi80
- ask others
Paul M. B. Vitányi: On the Power of Real-Time Machines Under Varying Specifications (Extended Abstract). 658-671