default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID7th ICALP 1980: Noordweijkerhout, The Netherland
- J. W. de Bakker, Jan van Leeuwen:
Automata, Languages and Programming, 7th Colloquium, Noordweijkerhout, The Netherlands, July 14-18, 1980, Proceedings. Lecture Notes in Computer Science 85, Springer 1980, ISBN 3-540-10003-2 - Werner Ainhirn:
How to Get Rid of Pseudoterminals. 1-11 - Jürgen Albert, Karel Culík II:
Test Sets for Homomorphism Equivalence on Context Free Languages. 12-18 - Jürgen Albert, Lutz M. Wegner:
Languages with Homomorphic Replacements. 19-29 - Helmut Alt:
Functions Equivalent to Integer Multiplication. 30-37 - Egidio Astesiano, Gerardo Costa:
Languages with Reducing Reflective Types. 38-50 - Ralph-Johan Back:
Semantics of Unbounded Nondeterminism. 51-63 - Ronald I. Becker, Yehoshua Perl, Stephen R. Schach:
A Shifting Algorithm for Min-Max Tree Partitioning. 64-75 - Jan A. Bergstra, John V. Tucker:
A Characterisation of Computable Data Types by Means of a Finite Equational Specification Method. 76-90 - Piotr Berman:
A Note on Sweeping Automata. 91-97 - Dario Bini:
Border Rank of a pxqx2 Tensor and the Optimal Approximation od a Pair of Bilinear Forms. 98-108 - Luc Boasson:
Derivations et Redutions dans les Grammaires Algebriques. 109-118 - Patrick Cousot, Radhia Cousot:
Semantic Analysis of Communicating Sequential Processes (Shortened Version). 119-133 - Andrzej Ehrenfeucht, Grzegorz Rozenberg:
DOS Systems and Languages. 134-141 - Hartmut Ehrig, Hans-Jörg Kreowski, Peter Padawitz:
Algebraic Implementation of Abstract Data Types: Concept, Syntax, Semantics and Correctness. 142-156 - 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 - E. Allen Emerson, Edmund M. Clarke:
Characterizing Correctness Properties of Parallel Programs Using Fixpoints. 169-181 - Joost Engelfriet, Gilberto Filé:
Formal Properties of One-Visit and Multi-Pass Attribute Grammars. 182-194 - Shimon Even, Yacov Yacobi:
Cryptocomplexity and NP-Completeness. 195-207 - Philippe Flajolet, Jean-Marc Steyaert:
On the Analysis of Tree-Matching Algorithms. 208-219 - Greg N. Frederickson, Donald B. Johnson:
Generating and Searching Sets Induced by Networks. 221-233 - Martin Fürer
:
The Complexity of the Inequivalence Problem for Regular Expressions with Intersection. 234-245 - Zvi Galil:
An Almost Linaer Time Algorithm for Computing a Dependency Basis in a Relational Data Base. 246-256 - Hartmann J. Genrich, P. S. Thiagarajan:
Bipolar Synchronization Systems. 257-272 - A. Goralciková, Pavel Goralcik, Václav Koubek:
Testing of Properties of Finite Algebras. 273-281 - Jim Gray:
A Transaction Model. 282-298 - Matthew Hennessy, Robin Milner:
On Observing Nondeterminism and Concurrency. 299-309 - Günter Hornung, Peter Raulefs:
Terminal Algebra Semantics and Retractions for Abstract Data Types. 310-323 - Thiet-Dung Huynh:
The Complexity of Semilinear Sets. 324-337 - Richard Kennaway, C. A. R. Hoare:
A Theory of Nondeterminism. 338-350 - Dexter Kozen:
A Representation Theorem for Models of *-Free PDL. 351-362 - Hans Langmaack, Ernst-Rüdiger Olderog:
Present-Day Hoare-Like Systems for Programming Languages with Procedures: Power, Limits and most Likely Expressions. 363-373 - Harry R. Lewis, Christos H. Papadimitriou:
Symmetric Space-Bounded Computation (Extended Abstract). 374-384 - Aldo de Luca, Antonio Restivo:
On Some Properties of Local Testability. 385-393 - Mila E. Majster-Cederbaum:
Semantics: Algebras, Fixed Points, Axioms. 394-408 - Johann A. Makowsky:
Measuring the Expressive Power of Dynamic Logics: An Application of Abstract Model Theory. 409-421 - Kurt Mehlhorn:
Pebbling Moutain Ranges and its Application of DCFL-Recognition. 422-435 - Erik Meineche Schmidt:
Space-Restricted Attribute Grammars. 436-448 - Peter D. Mosses:
A Constructive Approach to Compiler Correctness. 449-469 - Christos H. Papadimitriou, Jon Louis Bentley:
A Worst-Case Analysis of Nearest Neighbor Searching by Projection. 470-482 - Jean-Eric Pin:
Proprietes syntactiques du produit non ambigu. 483-499 - Kari-Jouko Räihä, Esko Ukkonen:
On the Optimal Assignment of Attributes to Passes in Multi-Pass Attribute Evaluators. 500-511 - Jean-Claude Raoult, Jean Vuillemin:
Optimal Unbounded Search Strategies. 512-530 - Rüdiger Reischuk:
A "Fast Implementation" of a Multidimensional Storage into a Tree Storage. 531-542 - Arto Salomaa:
Grammatical Families. 543-554 - Peter Schlichtiger:
Partitioned Chain Grammars. 555-568 - Jeanette P. Schmidt, Eli Shamir:
An Improved Program for Constructing Open Hash Tables. 569-581 - Adi Shamir:
On the Power of Commutativity in Cryptography. 582-595 - Seppo Sippu, Eljas Soisalon-Soininen:
Characterizations of the LL(k) Property. 596-608 - Michael B. Smyth:
Computability in Categories. 609-620 - Marc Snir:
On the Size Complexity of Monotone Formulas. 621-631 - Tommaso Toffoli:
Reversible Computing. 632-644 - Valentin F. Turchin:
The Use of Metasystem Transition in Theorem Proving and Program Optimization. 645-657 - Paul M. B. Vitányi:
On the Power of Real-Time Machines Under Varying Specifications (Extended Abstract). 658-671
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.
last updated on 2026-02-27 23:18 CET 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:
