Conferences in DBLP
Janis Barzdin , Janis Bicevskis , Audris Kalnins Construction of Complete Sample System for Correctness Testing. [Citation Graph (0, 0)][DBLP ] Conf ] Peter van Emde Boas Ten Years of Speedup. [Citation Graph (0, 0)][DBLP ] Conf ] Petr Hájek On Logics of Discovery. [Citation Graph (0, 0)][DBLP ] Conf ] Michael A. Harrison On Models of Protection in Operating Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Jaroslav Král , Jirí Demner Parsing as a Subtask of Compiling. [Citation Graph (0, 0)][DBLP ] Conf ] Antoni W. Mazurkiewicz Parallel Recursive Program Schemes. [Citation Graph (0, 0)][DBLP ] Conf ] Miroslav Novotný On Some Problems Concerning Pawlak's Machines. [Citation Graph (0, 0)][DBLP ] Conf ] Arto Salomaa Formal Power Series and Growth Functions of Lindenmayer Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Peter H. Starke On the Representability of Relations by Deterministic and Nondeterministic Multi-Tape Automata. [Citation Graph (0, 0)][DBLP ] Conf ] Boris A. Trakhtenbrot On Problems Solvable by Successive Trials. [Citation Graph (0, 0)][DBLP ] Conf ] Vera Trnková Automate and Categories. [Citation Graph (0, 0)][DBLP ] Conf ] I. D. Zaslavskii On Some Models of Computability of Boolean Functions. [Citation Graph (0, 0)][DBLP ] Conf ] Jirí Adámek Automata and Categories: Finiteness Contra Minimality. [Citation Graph (0, 0)][DBLP ] Conf ] A. V. Anisimov Languages Over Free Groups. [Citation Graph (0, 0)][DBLP ] Conf ] Giorgio Ausiello , Marco Protasi On the Comparison of Notions of Approximation. [Citation Graph (0, 0)][DBLP ] Conf ] M. Benesová , Ivan Korec Non-Linear Speed-Up Theorem for Two Register Minsky Machines. [Citation Graph (0, 0)][DBLP ] Conf ] Eike Best , Hans Albrecht Schmid Systems of Open Paths in Petri Nets. [Citation Graph (0, 0)][DBLP ] Conf ] Luc Boasson on the Largest Full Sub-AFL of the Full AFL of Context-Free Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Michal Chytil On Complexity of Nondeterministic Turing Machines Computations. [Citation Graph (0, 0)][DBLP ] Conf ] Alexander Ja. Dikovsky On Closure Properties of Context-Free Derivation Complexity Classes. [Citation Graph (0, 0)][DBLP ] Conf ] Venelin K. Evtimov Control Structures in Single Block Programs. [Citation Graph (0, 0)][DBLP ] Conf ] R. V. Freivald Minimal Gödel Numbers and Their Identification in the Limit. [Citation Graph (0, 0)][DBLP ] Conf ] Ferenc Gécseg Isomorphic Representation of Automata. [Citation Graph (0, 0)][DBLP ] Conf ] Hartmann J. Genrich Extended Simple Regular Expressions. [Citation Graph (0, 0)][DBLP ] Conf ] Giuseppina C. Gini , Maria L. Gini Conniver Programs by Logical Point of View. [Citation Graph (0, 0)][DBLP ] Conf ] Jerzy W. Grzymala-Busse On the Set of All Automata with the Same Monoid of Endomorphisms. [Citation Graph (0, 0)][DBLP ] Conf ] Ivan M. Havel Nondterministically Recognizable Sets of Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Tomás Havránek The Approximation Problem in Computational Statistics. [Citation Graph (0, 0)][DBLP ] Conf ] Klaus Indermark The Continuous Algebra of Monadic Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Max I. Kanovic On Sets of Complex-Programmed Numbers. [Citation Graph (0, 0)][DBLP ] Conf ] Marek Karpinski Decision Algorithms for Havel's Branching Automata. [Citation Graph (0, 0)][DBLP ] Conf ] Václav Koubek , Jan Reiterman Automata and Categories - Input Processes. [Citation Graph (0, 0)][DBLP ] Conf ] Fred Kröger Formalization of Algorithmic Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Giorgio Levi , Franco Sirovich Proving Program Properties, Symbolic Evaluation and Logical Procedural Semantics. [Citation Graph (0, 0)][DBLP ] Conf ] Jan Maluszynski A Contribution to Error Recovery. [Citation Graph (0, 0)][DBLP ] Conf ] Otto Mayer On the Analysis and Synthesis Problems for Context-Free Expressions. [Citation Graph (0, 0)][DBLP ] Conf ] Kurt Mehlhorn , Zvi Galil Monotone Switching Circuits and Boolean Matrix Product. [Citation Graph (0, 0)][DBLP ] Conf ] Ivan Mezník On Some Lattice-Theoretic Properties of Generable Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Larisa S. Modina On Some Formal Grammars Generating Dependency Trees. [Citation Graph (0, 0)][DBLP ] Conf ] Peter A. Ng , Pei Hsia , Raymond T. Yeh Graph Walking Automata. [Citation Graph (0, 0)][DBLP ] Conf ] Jürgen Perl On Finding All Solutions of the Partitioning Problem. [Citation Graph (0, 0)][DBLP ] Conf ] Alica Pirická-Kelemenová Greibach Normal Form Complexity. [Citation Graph (0, 0)][DBLP ] Conf ] Rimma I. Podlovchenko On Correctness and Essentiality of Some Ianov Schemas Equivalence Relations. [Citation Graph (0, 0)][DBLP ] Conf ] Pavel Pudlák Polynomially Complete Problems in the Logic of Automated Discovery. [Citation Graph (0, 0)][DBLP ] Conf ] Vaclav Rajlich Relational definition of Computer Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Willem P. de Roever First-Order Reductions of Call-by-Name to Call-by-Value. [Citation Graph (0, 0)][DBLP ] Conf ] Peter Ruzicka Local Disambiguating Transformation. [Citation Graph (0, 0)][DBLP ] Conf ] Dan A. Simovici On Cardinal Sequential Outer Measures. [Citation Graph (0, 0)][DBLP ] Conf ] Mark B. Trakhtenbrot On Representation of Sequential and Parallel Functions. [Citation Graph (0, 0)][DBLP ] Conf ] G. E. Tseytlin The Theory of the Modified Post Algebras and Multidimensional Automata Structures. [Citation Graph (0, 0)][DBLP ] Conf ] Raymond Turner An Algebraic Theory of Formal Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Mars K. Valiev On Polynomial Reducibility of Word Problem Under Embedding of Recursively Presented Groups in Finitely Presented Groups. [Citation Graph (0, 0)][DBLP ] Conf ] Rüdiger Valk On the Synthesis of Automata with Several Initial States. [Citation Graph (0, 0)][DBLP ] Conf ] Klaus W. Wagner A Hierarchy of Regular Sequence Sets. [Citation Graph (0, 0)][DBLP ] Conf ] Wolfgang Wechler R-Fuzzy Grammars. [Citation Graph (0, 0)][DBLP ] Conf ] Gerd Wechsung Characterization of Some Classes of Context-Free Languages in Terms of Complexity Classes. [Citation Graph (0, 0)][DBLP ] Conf ] Rolf Wiehagen Inductive Inference of Recursive Functions. [Citation Graph (0, 0)][DBLP ] Conf ] Józef Winkowski Proving Properties of Programs by Means of Predicate Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Boleslaw Wojdylo A Generalization of Scott's Flow Diagrams. [Citation Graph (0, 0)][DBLP ] Conf ] 