Conferences in DBLP
Egidio Astesiano , Gerardo Costa Sharing in Nondeterminism. [Citation Graph (0, 0)][DBLP ] Conf ] Jean Berstel Sur les mots sans carré définis par un morphisme. [Citation Graph (0, 0)][DBLP ] Conf ] Alberto Bertoni , Giancarlo Mauri , Pierangelo Miglioli A Characterization of Abstract Data as Model-Theoretic Invariants. [Citation Graph (0, 0)][DBLP ] Conf ] Meera Blattner Inherent Ambiguities in Families of Grammars (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Ronald V. Book , Franz-Josef Brandenburg Representing Complexity Classes by Equality Sets (Preliminary Report). [Citation Graph (0, 0)][DBLP ] Conf ] Burchard von Braunmühl , Eckehart Hotzel Supercounter Machines. [Citation Graph (0, 0)][DBLP ] Conf ] Manfred Broy , Walter Dosch , Helmuth Partsch , Peter Pepper , Martin Wirsing Existential Quantifiers in Abstract Data Types. [Citation Graph (0, 0)][DBLP ] Conf ] Christian Choffrut A Generalization of Ginsburg and Rose's Characterization of G-S-M Mappings. [Citation Graph (0, 0)][DBLP ] Conf ] Laurent Chottin Strict Deterministic Languages and Controlled Rewriting Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Beate Commentz-Walter A String Matching Algorithm Fast on the Average. [Citation Graph (1, 0)][DBLP ] Conf ] Mario Coppo , Mariangiola Dezani-Ciancaglini , Patrick Sallé Functional Characterization of Some Semantic Equalities inside Lambda-Calculus. [Citation Graph (0, 0)][DBLP ] Conf ] Armin B. Cremers , Thomas N. Hibbard Arbitration and Queuing Under Limited Shared Storage Requirements (Preliminary Report). [Citation Graph (0, 0)][DBLP ] Conf ] Karel Culik II On the Homomorphic Characterizations of Families of Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Piotr Dembinski , Jan Maluszynski Two Level Grammars: CF-Grammars with Equation Schemes. [Citation Graph (0, 0)][DBLP ] Conf ] Nachum Dershowitz , Zohar Manna Proving termination with Multiset Orderings. [Citation Graph (0, 0)][DBLP ] Conf ] Peter Deussen One Abstract Accepting Algorithm for all Kinds of Parsers. [Citation Graph (0, 0)][DBLP ] Conf ] Arthur G. Duncan , Lawrence Yelowitz Studies in Abstract/Concrete Mappings in Proving Algorithm Correctness. [Citation Graph (0, 0)][DBLP ] Conf ] Faith E. Fich , Janusz A. Brzozowski A Characterization of a Dot-Depth Two Analogue of Generalized Definite Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Dietmar Friede Partitioned LL(k) Grammars. [Citation Graph (0, 0)][DBLP ] Conf ] Jean H. Gallier Recursion Schemes and Generalized Interpretations (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Jonathan Goldstine A Rational Theory of AFLS. [Citation Graph (0, 0)][DBLP ] Conf ] Juris Hartmanis On the Succintness of Different Representations of Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Sorin Istrail A Fixed-Point Theorem for Recursive-Enumerable Languages and Some Considerations About Fixed-Point Semantics of Monadic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Wolfgang Janko Hierarchic Index Sequential Search with Optimal Variable Block Size and Its Minimal Expected Number of Comparisons. [Citation Graph (0, 0)][DBLP ] Conf ] Hans-Josef Jeanrond A Unique Termination Theorem for a Theory with Generalised Commutative Axioms. [Citation Graph (0, 0)][DBLP ] Conf ] Tsutomu Kamimura , Giora Slutzki DAGs and Chomsky Hierarchy (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Richard M. Karp Recent Advances in the Probabilistic Analysis of Graph-Theoretic Algorithms (Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Rainer Kemp On the Average Stack Size of Regularly Distributed Binary Trees. [Citation Graph (0, 0)][DBLP ] Conf ] Wolfgang Kowalk , Rüdiger Valk On Reductions of Parallel Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Werner Kuich , Helmut Prodinger , Friedrich J. Urbanek On the Height of Derivation Trees. [Citation Graph (0, 0)][DBLP ] Conf ] Zohar Manna , Amir Pnueli The Modal Logic of Programs. [Citation Graph (3, 0)][DBLP ] Conf ] Friedhelm Meyer auf der Heide A Comparison Between Two Variations of a Pebble Game on Graphs. [Citation Graph (0, 0)][DBLP ] Conf ] D. R. Milton , Charles N. Fischer LL(k) Parsing for Attributed Grammars. [Citation Graph (0, 0)][DBLP ] Conf ] Burkhard Monien , Ivan Hal Sudborough On Eliminating Nondeterminism From Turing Machines Which Use Less Than Logarithmic Worktape Space. [Citation Graph (0, 0)][DBLP ] Conf ] Anton Nijholt Structure Preserving Transformations on Non-Left-Recursive Grammars (Preliminary Version). [Citation Graph (0, 0)][DBLP ] Conf ] Christos H. Papadimitriou , Mihalis Yannakakis The Complexity of Restricted Minimum Spanning Tree Problems (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Grzegorz Rozenberg A Systematic Approach to Formal Language Theory Through Parallel Rewriting. [Citation Graph (0, 0)][DBLP ] Conf ] Grzegorz Rozenberg , Dirk Vermeir Extending the Notion of Finite Index. [Citation Graph (0, 0)][DBLP ] Conf ] Walter L. Ruzzo On the Complexity of General Context-Free Language Parsing and Recognition (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] John E. Savage , Sowmitri Swamy Space-Time Tradeoffs for Oblivious Interger Multiplications. [Citation Graph (0, 0)][DBLP ] Conf ] Gunther Schmidt Investigating Programs in Terms of Partial Graphs. [Citation Graph (0, 0)][DBLP ] Conf ] Arnold Schönhage On the Power of Random Access Machines. [Citation Graph (0, 0)][DBLP ] Conf ] Richard L. Schwartz An Aximatic Treatment of Algol 68 Routines. [Citation Graph (0, 0)][DBLP ] Conf ] Alan L. Selman P-Selective Sets, Tally Languages, and the Behavior of Polynomial Time Reducibilities on NP. [Citation Graph (0, 0)][DBLP ] Conf ] Ravi Sethi , Adrian Tang Constructing Call-by-Value Continuation Semantics. [Citation Graph (0, 0)][DBLP ] Conf ] M. W. Shields , Peter E. Lauer A Formal Semantics for Concurrent Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Seppo Sippu , Eljas Soisalon-Soininen Con Constructing LL(k) Parsers. [Citation Graph (0, 0)][DBLP ] Conf ] James W. Thatcher , Eric G. Wagner , Jesse B. Wright More on Advice on Structuring Compilers and Proving Them Correct. [Citation Graph (0, 0)][DBLP ] Conf ] Denis Thérien Languages of Nilpotent and Solvable Groups (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Jerzy Tiuryn Unique Fixed Points v. Least Fixed Points. [Citation Graph (0, 0)][DBLP ] Conf ] Esko Ukkonen A Modification of the LR(k) Method for Constructing Compact Bottom-Up Parsers. [Citation Graph (0, 0)][DBLP ] Conf ] László Úry Optimal Decomposition of Linear Automata. [Citation Graph (0, 0)][DBLP ] Conf ] Lutz Michael Wegner Bracketed Two-Level Grammars - A Decidable and Practical Approach to Language Definitions. [Citation Graph (0, 0)][DBLP ] Conf ] 