Conferences in DBLP
Alfred V. Aho , Ravi Sethi How Hard is Compiler Code Generation? [Citation Graph (0, 0)][DBLP ] Conf ] Donald A. Alton "Natural" Complexity Measures and Time versus Memory: Some Definitional Proposals. [Citation Graph (0, 0)][DBLP ] Conf ] Krzysztof R. Apt , J. W. de Bakker Semantics and Proof Theory of Pascal Procedures. [Citation Graph (0, 0)][DBLP ] Conf ] Giorgio Ausiello , Alessandro D'Atri , Marco Protasi On the Structure of Combinatorial Problems and Structure Preserving Reductions. [Citation Graph (0, 0)][DBLP ] Conf ] Roland Carl Backhouse , R. K. Lutz Factor Graphs, Failure Functions and BI-Trees. [Citation Graph (0, 0)][DBLP ] Conf ] David B. Benson , Ralph D. Jeffords Parallel Decomposition of LR(k) Parsers (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Alberto Bertoni , Giancarlo Mauri , Mauro Torelli Some Recursive Unsolvable Problems Relating to Isolated Cutpoints in Probabilistic Automata. [Citation Graph (0, 0)][DBLP ] Conf ] Corrado Böhm , Mario Coppo , Mariangiola Dezani-Ciancaglini Termination Tests inside lambda-Calculus. [Citation Graph (0, 0)][DBLP ] Conf ] Ronald V. Book , Chee-Keng Yap On the Computational Power of Reversal-Bounded Machines. [Citation Graph (0, 0)][DBLP ] Conf ] Franz-Josef Brandenburg The Contextsensitivity Bounds of Contextsensitive Grammars and Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Michal Chytil , Vojtech Jákl Serial Composition of 2-Way Finite-State Transducers and Simple Programs on Strings. [Citation Graph (0, 0)][DBLP ] Conf ] Karel Culik II , Ivan Fris The Sequence Equivalence Problem for D0L Systems is Decidable. [Citation Graph (0, 0)][DBLP ] Conf ] Werner Damm Languages Defined by Higher Type Program Schemes. [Citation Graph (0, 0)][DBLP ] Conf ] Ernst-Wolfgang Dieterich Parsing and Syntactic Error Recovery for Context-Free Grammars by Means of Coarse Structures. [Citation Graph (0, 0)][DBLP ] Conf ] Alexander Ja. Dikovsky , Larisa S. Modina On Three Types of Unambiguity of Context-Free Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Hartmut Ehrig , Barry K. Rosen The Mathematics of Record Handling. [Citation Graph (0, 0)][DBLP ] Conf ] Joost Engelfriet Macro Grammars, Lindenmayer Systems and Other Copying Devices. [Citation Graph (0, 0)][DBLP ] Conf ] Wilhelm J. Erni On the Time and Tape Complexity of Hyper(1)-AFL's. [Citation Graph (0, 0)][DBLP ] Conf ] Matthias Höpner , Manfred Opp Renaming and Erasing in Szilard Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Alon Itai , Michael Rodeh Some Matching Problems. [Citation Graph (0, 0)][DBLP ] Conf ] Gérard Jacob Complexite des Demi-Groupes de Matrices. [Citation Graph (0, 0)][DBLP ] Conf ] Theo M. V. Janssen , Peter van Emde Boas On the Proper Treatment or Referencing, Dereferencing and Assignment. [Citation Graph (0, 0)][DBLP ] Conf ] Neil D. Jones , Sven Skyum Complexity of Some Problems Concerning L Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Hans-Peter Kriegel , Thomas Ottmann Left-Fitting Translations. [Citation Graph (0, 0)][DBLP ] Conf ] Kurt Mehlhorn Dynamic Binary Search. [Citation Graph (0, 0)][DBLP ] Conf ] Burkhard Monien About the Derivation Languages of Grammars and Machines. [Citation Graph (0, 0)][DBLP ] Conf ] Anton Nijholt Simple Chain Grammars. [Citation Graph (0, 0)][DBLP ] Conf ] Wolfgang J. Paul , Robert Endre Tarjan Time-Space Trade-Offs in a Pebble Game. [Citation Graph (0, 0)][DBLP ] Conf ] Azaria Paz , Shlomo Moran Non-Deterministic Polynomial Optimization Problems and Their Approximation. [Citation Graph (0, 0)][DBLP ] Conf ] Amir Pnueli , Giora Slutzki Simple Programs and Their Decision Problems. [Citation Graph (0, 0)][DBLP ] Conf ] Vaclav Rajlich Theory of Data Structures by Relational and Graph Grammars. [Citation Graph (0, 0)][DBLP ] Conf ] Willem P. de Roever On Backtracking and Greatest Fixpoints. [Citation Graph (0, 0)][DBLP ] Conf ] Grzegorz Rozenberg , Dirk Vermeir L Systems of Finite Index (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Jorma Sajaniemi The Safety of a Coroutine System. [Citation Graph (0, 0)][DBLP ] Conf ] Walter J. Savitch , Paul M. B. Vitányi Linear Time Simulation of Multihead Turing Machines with Head-to-Head Jumps. [Citation Graph (0, 0)][DBLP ] Conf ] Adi Shamir , William W. Wadge Data Types as Objects. [Citation Graph (0, 0)][DBLP ] Conf ] Janos Simon On the Difference Between One and Many (Preliminary Version). [Citation Graph (0, 0)][DBLP ] Conf ] Seppo Sippu , Eljas Soisalon-Soininen On Defining Error Recovery in Context-Free Parsing. [Citation Graph (0, 0)][DBLP ] Conf ] Ileana Streinu LL(k) Languages are Closed Under Union with Finite Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Ivan Hal Sudborough The Time and Tape Complexity of Developmental Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Masako Takahashi Rational relations of Binary Trees. [Citation Graph (0, 0)][DBLP ] Conf ] Hermann K.-G. Walter Structural Equivalence of Context-Free Grammar Forms is Decidable. [Citation Graph (0, 0)][DBLP ] Conf ] Bruno Courcelle On the Definition of Classes of Interpretations. [Citation Graph (0, 0)][DBLP ] Conf ] 