Conferences in DBLP
Jürgen Albert , Hermann A. Maurer , Grzegorz Rozenberg Simple EOL Forms under Uniform Interpretation Generating CF Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Doris Altenkamp , Kurt Mehlhorn Codes: Unequal Probabilities, Unequal Letter Costs (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] André Arnold , Max Dauchet Sul l'inversion des morphisms d'arbres. [Citation Graph (0, 0)][DBLP ] Conf ] Gerhard Barth Grammars with Dynamic Control Sets. [Citation Graph (0, 0)][DBLP ] Conf ] Joffroy Beauquier Ambiguite Forte. [Citation Graph (0, 0)][DBLP ] Conf ] Piotr Berman Relationship Between Density and Deterministic Complexity of NP-Complete Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Gérard Berry Stable Models of Typed lambda-Calculi. [Citation Graph (0, 0)][DBLP ] Conf ] Joachim Biskup Path Measures of Turing Machine Computations (Preliminary Report). [Citation Graph (0, 0)][DBLP ] Conf ] Jean-Marie Boë Une Famille Remarquable de Codes Indecomposables. [Citation Graph (0, 0)][DBLP ] Conf ] Ronald V. Book , Sheila A. Greibach , Celia Wrathall Comparisons and Reset Machines (Preliminary Report). [Citation Graph (0, 0)][DBLP ] Conf ] Beate Commentz-Walter Size-Depth Tradeoff in Boolean Formulas. [Citation Graph (0, 0)][DBLP ] Conf ] Mario Coppo , Mariangiola Dezani-Ciancaglini , Simona Ronchi Della Rocca (Semi)-separability of Finite Sets of Terms in Scott's D_infty-Models of the lambda-Calculus. [Citation Graph (0, 0)][DBLP ] Conf ] Armin B. Cremers , Thomas N. Hibbard Mutual Exclusion of N Processors Using an O(N)-Valued Message Variable (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Werner Damm , Elfriede Fehr On the Power of Self-Application and Higher Type-Recursion. [Citation Graph (0, 0)][DBLP ] Conf ] David P. Dobkin , J. Ian Munro Time and Space Bounds for Selection Problems. [Citation Graph (0, 0)][DBLP ] Conf ] Hartmut Ehrig , Hans-Jörg Kreowski , Peter Padawitz Stepwise Specification and Implementation of Abstract Data Types. [Citation Graph (1, 0)][DBLP ] Conf ] Steven Fortune , John E. Hopcroft , Erik Meineche Schmidt The Complexity of Equivalence and Containment for Free Single Variable Program Schemes. [Citation Graph (0, 0)][DBLP ] Conf ] Zvi Galil On Improving the Worst Case Running Time of the Boyer-Moore String Matching Algorithm. [Citation Graph (0, 0)][DBLP ] Conf ] Jean H. Gallier Semantics and Correctness of Nondeterministic Flowchart Programs with Recursive Procedures. [Citation Graph (0, 0)][DBLP ] Conf ] David Harel Arithmetical Completeness in Logics of Programs. [Citation Graph (1, 0)][DBLP ] Conf ] Alon Itai , Michael Rodeh Covering a Graph by Circuits. [Citation Graph (0, 0)][DBLP ] Conf ] Andrzej Lingas A PSPACE Complete Problem Related to a Pebble Game. [Citation Graph (0, 0)][DBLP ] Conf ] Maurice Mignotte Some Effective Results About Linear Recursive Sequences. [Citation Graph (0, 0)][DBLP ] Conf ] Anton Nijholt On the Parsing and Covering of Simple Chain Grammars. [Citation Graph (0, 0)][DBLP ] Conf ] Jean-Eric Pin Sur un Cas Particulier de la Conjecture de Cerny. [Citation Graph (0, 0)][DBLP ] Conf ] John K. Price , Detlef Wotschke States Can Sometimes Do More Than Stack Symbols in PDA's. [Citation Graph (0, 0)][DBLP ] Conf ] Antonio Restivo Some Decision Results for Recognizable Sets in Arbitrary Monoids. [Citation Graph (0, 0)][DBLP ] Conf ] Christophe Reutenauer Sur les Series Rationnelles en Variables Non Commutatives. [Citation Graph (0, 0)][DBLP ] Conf ] Mikko Saarinen On Constructing Efficient Evaluators for Attribute Grammars. [Citation Graph (0, 0)][DBLP ] Conf ] Patrick Sale Une Extension de la Theorie des Types en lambda-Calcul. [Citation Graph (0, 0)][DBLP ] Conf ] Walter J. Savitch Parallel and Nondeterministic Time Complexity Classes (Preliminary Report). [Citation Graph (0, 0)][DBLP ] Conf ] Claus-Peter Schnorr Multiterminal Network Flow and Connectivity in Unsymmetrical Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Edward Sciore , A. Tang Admissible Coherent CPO's. [Citation Graph (0, 0)][DBLP ] Conf ] Tommaso Toffoli Integration of the Phase-Difference Relations in Asynchronous Sequential Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Rüdiger Valk Self-Modifying Nets, a Natural Extension of Petri Nets. [Citation Graph (0, 0)][DBLP ] Conf ] Marisa Venturini Zilli Head Recurrent Terms in Combinatory Logic: A Generalization of the Notion of Head Normal Form. [Citation Graph (0, 0)][DBLP ] Conf ] Rolf Wiehagen Characterization Problems in the Theory of Inductive Inference. [Citation Graph (0, 0)][DBLP ] Conf ] 