Conferences in DBLP
J. W. de Bakker A Sound and Complete Proof System for Partial Program Correctness. [Citation Graph (0, 0)][DBLP ] Conf ] J. M. Barzdin The Problem of Reachability and Verification of Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Andrzej Blikle Assertion Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Ronald V. Book Complexity Classes of Formal Languages (Preliminary Report). [Citation Graph (0, 0)][DBLP ] Conf ] Rusins Freivalds Fast Probabilistic Algorithms. [Citation Graph (0, 0)][DBLP ] Conf ] Juris Hartmanis , Theodore P. Baker Relative Succinctness of Representations of Languages and Separation of Complexity Classes. [Citation Graph (0, 0)][DBLP ] Conf ] Ivan M. Havel On Two Types of Loops. [Citation Graph (0, 0)][DBLP ] Conf ] Matthew Hennessy , Gordon D. Plotkin Full Abstraction for a Simple Parallel Programming Language. [Citation Graph (0, 0)][DBLP ] Conf ] Hermann A. Maurer On Some Recent Developments in Cryptography and Their Applications to Computer Science. [Citation Graph (0, 0)][DBLP ] Conf ] Kurt Mehlhorn Searching, Sorting and Information Theory. [Citation Graph (0, 0)][DBLP ] Conf ] Robin Milner LCF: A Way of Doing Proofs with a Machine. [Citation Graph (0, 0)][DBLP ] Conf ] Vaughan R. Pratt Axioms or Algorithms. [Citation Graph (0, 0)][DBLP ] Conf ] Arto Salomaa Power from Power Series. [Citation Graph (0, 0)][DBLP ] Conf ] A. O. Slisenko Computational Complexity of String and Graph Identification. [Citation Graph (0, 0)][DBLP ] Conf ] Derick Wood A Survey of Grammar and L Forms-1978. [Citation Graph (0, 0)][DBLP ] Conf ] Akeo Adachi , Takumi Kasai , Etsuro Moriya A Theoretical Study of the Time Analysis of Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Hajnal Andréka , István Németi , Ildikó Sain Completeness Problems in Verification of Programs and Program Schemes. [Citation Graph (0, 0)][DBLP ] Conf ] Jean-Michel Autebert Relationships between AFDL's and Cylinders. [Citation Graph (0, 0)][DBLP ] Conf ] Gérard Comyn , G. Werner Computable Data Types. [Citation Graph (0, 0)][DBLP ] Conf ] Guy Cousineau , Patrice Enjalbert Program Equivalence and Provability. [Citation Graph (0, 0)][DBLP ] Conf ] Karel Culik II , Juhani Karhumäki Interactive L Systems with Almost Interactionless Behaviour. [Citation Graph (0, 0)][DBLP ] Conf ] Robert P. Daley On the Simplification of Constructions in Degrees of Unsolvability via Computational Complexity. [Citation Graph (0, 0)][DBLP ] Conf ] Werner Damm An Algebraic Extension of the Chomsky-Hierarchy. [Citation Graph (0, 0)][DBLP ] Conf ] Michael I. Dekhtyar Bounds on Computational Complexity and Approximability of Initial Segments of Recursive Sets. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas M. Fischer On the Weighted Path Length of Binary Search Trees for Unknown Access Probabilities. [Citation Graph (0, 0)][DBLP ] Conf ] George Gens , Eugene Levner Computational Complexity of Approximation Algorithms for Combinatorial Problems. [Citation Graph (0, 0)][DBLP ] Conf ] A. Goralciková , Václav Koubek A Reduct-and-Closure Algorithm for Graphs. [Citation Graph (2, 0)][DBLP ] Conf ] Ludmila Gregusová , Ivan Korec Small Universal Minsky Machines. [Citation Graph (0, 0)][DBLP ] Conf ] Tsutomu Kamimura , Giora Slutzki Parallel and Two-Way Recognizers of Directed Acyclic Graphs (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Akira Kanda Fully Effective Solutions of Recursive Domain Equations. [Citation Graph (0, 0)][DBLP ] Conf ] Ivan Kramosil A Note on Computational Complexity of a Statistical Deducibility Testing Procedure. [Citation Graph (0, 0)][DBLP ] Conf ] Manfred Kudlek Context Free Normal Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Matti Linna , Martti Penttonen New Proofs for Jump DPDA's. [Citation Graph (0, 0)][DBLP ] Conf ] Aldo de Luca , Antonio Restivo Synchronization and Maximality for Very Pure Subsemigroups of a Free Semigroup. [Citation Graph (0, 0)][DBLP ] Conf ] G. B. Marandzjan On the Sets of Minimal Indices of Partial Recursive Functions. [Citation Graph (0, 0)][DBLP ] Conf ] Kurt Mehlhorn Some Remarks on Boolean Sums. [Citation Graph (0, 0)][DBLP ] Conf ] Grazyna Mirkowska On the Propositional Algorithmic Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Anton Nijholt , Eljas Soisalon-Soininen Ch(k) Grammars: A Characterization of LL(k) Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Ottmann , Derick Wood A Uniform Approach to Balanced Binary and Multiway Trees. [Citation Graph (1, 0)][DBLP ] Conf ] Gheorghe Paun On the Generative Capacity of Some Classes of Grammars with Regulated Rewriting. [Citation Graph (0, 0)][DBLP ] Conf ] Peter Ruzicka Validity Test for Floyd's Operator-Precedence Parsing Algorithms. [Citation Graph (0, 0)][DBLP ] Conf ] Peter H. Starke On the Languages of Bounded Petri Nets. [Citation Graph (0, 0)][DBLP ] Conf ] Miron Tegze Dyck Language D2 Is Not Absolutely Parallel. [Citation Graph (0, 0)][DBLP ] Conf ] Jerzy Tiuryn Fixed Points in the Power-Set Algebra of Infinite Trees (Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Boris A. Trakhtenbrot On Relaxation Rules in Algorithmic Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Vera Trnková L-Fuzzy Functorial Automata. [Citation Graph (0, 0)][DBLP ] Conf ] G. E. Tseytlin Schematics of Structural Parallel Programming and its Applications. [Citation Graph (0, 0)][DBLP ] Conf ] Mars K. Valiev On Axiomatization of Deterministic Propositional Dynamic Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Klaus W. Wagner Bounded Recursion and Complexity Classes. [Citation Graph (0, 0)][DBLP ] Conf ] Wolfgang Wechler Characterization of Rational and Algebraic Power Series. [Citation Graph (0, 0)][DBLP ] Conf ] Gerd Wechsung A Crossing Measure for 2-Tape Turing Machines. [Citation Graph (0, 0)][DBLP ] Conf ] Juraj Wiedermann The Complexity of Lexicographic Sorting and Searching. [Citation Graph (0, 0)][DBLP ] Conf ] Józef Winkowski An Algebraic Approach to Concurrence. [Citation Graph (0, 0)][DBLP ] Conf ] Hideki Yamasaki On Multitape Automata. [Citation Graph (0, 0)][DBLP ] Conf ] Stanislav Zák A Turing Machine Oracle Hierarchy. [Citation Graph (0, 0)][DBLP ] Conf ] Gérard Berry , Jean-Jacques Lévy A Survey of Some Syntactic Results in the lambda-Calculus. [Citation Graph (0, 0)][DBLP ] Conf ] Guy Cousineau , Maurice Nivat On Rational Expressions Representing Infinite Rational Trees: Application to the Structure of Flow Charts. [Citation Graph (0, 0)][DBLP ] Conf ] 