Conferences in DBLP
W. Ainhirn How to Get Rid of Pseudoterminals. [Citation Graph (0, 0)][DBLP ] Conf ] J. Albert , Karel Culik II Test Sets for Homomorphism Equivalence on Context Free Languages. [Citation Graph (0, 0)][DBLP ] Conf ] J. Albert , Lutz Michael Wegner Languages with Homomorphic Replacements. [Citation Graph (0, 0)][DBLP ] Conf ] Helmut Alt Functions Equivalent to Integer Multiplication. [Citation Graph (0, 0)][DBLP ] Conf ] Egidio Astesiano , Gerardo Costa Languages with Reducing Reflective Types. [Citation Graph (0, 0)][DBLP ] Conf ] Ralph-Johan Back Semantics of Unbounded Nondeterminism. [Citation Graph (0, 0)][DBLP ] Conf ] Ronald I. Becker , Yehoshua Perl , Stephen R. Schach A Shifting Algorithm for Min-Max Tree Partitioning. [Citation Graph (0, 0)][DBLP ] Conf ] Jan A. Bergstra , J. V. Tucker A Characterisation of Computable Data Types by Means of a Finite Equational Specification Method. [Citation Graph (0, 0)][DBLP ] Conf ] Piotr Berman A Note on Sweeping Automata. [Citation Graph (0, 0)][DBLP ] Conf ] Dario Bini Border Rank of a pxqx2 Tensor and the Optimal Approximation od a Pair of Bilinear Forms. [Citation Graph (0, 0)][DBLP ] Conf ] Luc Boasson Derivations et Redutions dans les Grammaires Algebriques. [Citation Graph (0, 0)][DBLP ] Conf ] Patrick Cousot , Radhia Cousot Semantic Analysis of Communicating Sequential Processes (Shortened Version). [Citation Graph (0, 0)][DBLP ] Conf ] Andrzej Ehrenfeucht , Grzegorz Rozenberg DOS Systems and Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Hartmut Ehrig , Hans-Jörg Kreowski , Peter Padawitz Algebraic Implementation of Abstract Data Types: Concept, Syntax, Semantics and Correctness. [Citation Graph (0, 0)][DBLP ] Conf ] Hartmut Ehrig , Hans-Jörg Kreowski , James W. Thatcher , Eric G. Wagner , Jesse B. Wright Parameterized Data Types in Algebraic Specification Languages (Short Version). [Citation Graph (0, 0)][DBLP ] Conf ] E. Allen Emerson , Edmund M. Clarke Characterizing Correctness Properties of Parallel Programs Using Fixpoints. [Citation Graph (0, 0)][DBLP ] Conf ] Joost Engelfriet , Gilberto Filé Formal Properties of One-Visit and Multi-Pass Attribute Grammars. [Citation Graph (0, 0)][DBLP ] Conf ] Shimon Even , Yacov Yacobi Cryptocomplexity and NP-Completeness. [Citation Graph (0, 0)][DBLP ] Conf ] Philippe Flajolet , Jean-Marc Steyaert On the Analysis of Tree-Matching Algorithms. [Citation Graph (0, 0)][DBLP ] Conf ] Greg N. Frederickson , Donald B. Johnson Generating and Searching Sets Induced by Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Martin Fürer The Complexity of the Inequivalence Problem for Regular Expressions with Intersection. [Citation Graph (0, 0)][DBLP ] Conf ] Zvi Galil An Almost Linaer Time Algorithm for Computing a Dependency Basis in a Relational Data Base. [Citation Graph (0, 0)][DBLP ] Conf ] Hartmann J. Genrich , P. S. Thiagarajan Bipolar Synchronization Systems. [Citation Graph (0, 0)][DBLP ] Conf ] A. Goralciková , Pavel Goralcik , Václav Koubek Testing of Properties of Finite Algebras. [Citation Graph (0, 0)][DBLP ] Conf ] Jim Gray A Transaction Model. [Citation Graph (14, 0)][DBLP ] Conf ] Matthew Hennessy , Robin Milner On Observing Nondeterminism and Concurrency. [Citation Graph (0, 0)][DBLP ] Conf ] Günter Hornung , Peter Raulefs Terminal Algebra Semantics and Retractions for Abstract Data Types. [Citation Graph (0, 0)][DBLP ] Conf ] Thiet-Dung Huynh The Complexity of Semilinear Sets. [Citation Graph (0, 0)][DBLP ] Conf ] Richard Kennaway , C. A. R. Hoare A Theory of Nondeterminism. [Citation Graph (0, 0)][DBLP ] Conf ] Dexter Kozen A Representation Theorem for Models of *-Free PDL. [Citation Graph (0, 0)][DBLP ] Conf ] Hans Langmaack , Ernst-Rüdiger Olderog Present-Day Hoare-Like Systems for Programming Languages with Procedures: Power, Limits and most Likely Expressions. [Citation Graph (0, 0)][DBLP ] Conf ] Harry R. Lewis , Christos H. Papadimitriou Symmetric Space-Bounded Computation (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Aldo de Luca , Antonio Restivo On Some Properties of Local Testability. [Citation Graph (0, 0)][DBLP ] Conf ] Mila E. Majster-Cederbaum Semantics: Algebras, Fixed Points, Axioms. [Citation Graph (0, 0)][DBLP ] Conf ] Johann A. Makowsky Measuring the Expressive Power of Dynamic Logics: An Application of Abstract Model Theory. [Citation Graph (0, 0)][DBLP ] Conf ] Kurt Mehlhorn Pebbling Moutain Ranges and its Application of DCFL-Recognition. [Citation Graph (0, 0)][DBLP ] Conf ] Erik Meineche Schmidt Space-Restricted Attribute Grammars. [Citation Graph (0, 0)][DBLP ] Conf ] Peter D. Mosses A Constructive Approach to Compiler Correctness. [Citation Graph (0, 0)][DBLP ] Conf ] Christos H. Papadimitriou , Jon Louis Bentley A Worst-Case Analysis of Nearest Neighbor Searching by Projection. [Citation Graph (0, 0)][DBLP ] Conf ] Jean-Eric Pin Proprietes syntactiques du produit non ambigu. [Citation Graph (0, 0)][DBLP ] Conf ] Kari-Jouko Räihä , Esko Ukkonen On the Optimal Assignment of Attributes to Passes in Multi-Pass Attribute Evaluators. [Citation Graph (0, 0)][DBLP ] Conf ] Jean-Claude Raoult , Jean Vuillemin Optimal Unbounded Search Strategies. [Citation Graph (0, 0)][DBLP ] Conf ] Rüdiger Reischuk A "Fast Implementation" of a Multidimensional Storage into a Tree Storage. [Citation Graph (0, 0)][DBLP ] Conf ] Arto Salomaa Grammatical Families. [Citation Graph (0, 0)][DBLP ] Conf ] Peter Schlichtiger Partitioned Chain Grammars. [Citation Graph (0, 0)][DBLP ] Conf ] Jeanette P. Schmidt , Eli Shamir An Improved Program for Constructing Open Hash Tables. [Citation Graph (0, 0)][DBLP ] Conf ] Adi Shamir On the Power of Commutativity in Cryptography. [Citation Graph (0, 0)][DBLP ] Conf ] Seppo Sippu , Eljas Soisalon-Soininen Characterizations of the LL(k) Property. [Citation Graph (0, 0)][DBLP ] Conf ] Michael B. Smyth Computability in Categories. [Citation Graph (0, 0)][DBLP ] Conf ] Marc Snir On the Size Complexity of Monotone Formulas. [Citation Graph (0, 0)][DBLP ] Conf ] Tommaso Toffoli Reversible Computing. [Citation Graph (0, 0)][DBLP ] Conf ] Valentin F. Turchin The Use of Metasystem Transition in Theorem Proving and Program Optimization. [Citation Graph (0, 0)][DBLP ] Conf ] Paul M. B. Vitányi On the Power of Real-Time Machines Under Varying Specifications (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] 