Conferences in DBLP
Ya. M. Barzdin , K. M. Podineks Towards a Theory of Inductive Inference (in Russian). [Citation Graph (0, 0)][DBLP ] Conf ] Andrzej Blikle An Algebraic Approach to Programs and Their Computations. [Citation Graph (0, 0)][DBLP ] Conf ] Karel Culík Equivalences of Parallel Courses of Algorithmic Nets and Precedence Flow Diagrams. [Citation Graph (0, 0)][DBLP ] Conf ] B. Dömölki On the Formal Definition of Assembly Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Erwin Engeler Towards a Galois Theory of Algorithmic Problems. [Citation Graph (0, 0)][DBLP ] Conf ] Ferenc Gécseg Model Theoretical Methods in the Theory of Automata. [Citation Graph (0, 0)][DBLP ] Conf ] Seymour Ginsburg Substitution and (Semi-)AFL. [Citation Graph (0, 0)][DBLP ] Conf ] Jozef Gruska Descriptional Complexity of Context-Free Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Petr Hájek Some Logical Problems of Automated Research. [Citation Graph (0, 0)][DBLP ] Conf ] Juris Hartmanis On the Problem of Finding Natural Computational Complexity Measures. [Citation Graph (0, 0)][DBLP ] Conf ] Patrick J. Hayes Computation and Deduction. [Citation Graph (0, 0)][DBLP ] Conf ] Maurice Nivat Operators on Families of Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Miroslav Novotný Constructions of Grammars for Formal Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Zdzislaw Pawlak Mathematical Foundation of Information Retrieval. [Citation Graph (2, 0)][DBLP ] Conf ] C. A. Petri Concepts of Net Theory. [Citation Graph (0, 0)][DBLP ] Conf ] Arto Salomaa L-Systems: A Device in Biologically Motivated Automata Theory. [Citation Graph (0, 0)][DBLP ] Conf ] Claus-Peter Schnorr Lower Bounds for the Product of Time and Space Requirements of Turing Machine Computations. [Citation Graph (0, 0)][DBLP ] Conf ] Peter H. Starke On the Sequential Relations of Time-Invariant Automata. [Citation Graph (0, 0)][DBLP ] Conf ] Luigia Carlucci Aiello , Ugo Montanari Towards a Formal Definition of the Control in Structured Programs. [Citation Graph (0, 0)][DBLP ] Conf ] A. V. Anisimov Top-down Analysis of Programming Languages without Backtrack (in Russian). [Citation Graph (0, 0)][DBLP ] Conf ] W. Bartol Semiboolean Algebras of Submachines. [Citation Graph (0, 0)][DBLP ] Conf ] Alberto Bertoni Equations of Formal Power Series over Non Commutative Semiring. [Citation Graph (0, 0)][DBLP ] Conf ] Wilfried Brauer On Grammatical Complexity of Context-Free Languages (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Michal Chytil On Changes of Input/Output Coding. [Citation Graph (0, 0)][DBLP ] Conf ] J. P. Cleave Combinatorial Problems III. Degrees of Combinatorial Problems of Computing Machines. [Citation Graph (0, 0)][DBLP ] Conf ] Armin B. Cremers , Otto Mayer On Vector Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Robert P. Daley The Process Complexity and the Understanding of Sequences. [Citation Graph (0, 0)][DBLP ] Conf ] A. A. Donis Conditional Metric Completeness of Finite Sets of Automata: A Criterion and an Algorithm (in Russian). [Citation Graph (0, 0)][DBLP ] Conf ] Philippe Flajolet , Jean-Marc Steyaert Decision Problems for Multihead Finite Automata. [Citation Graph (0, 0)][DBLP ] Conf ] Jerzy W. Grzymala-Busse On the Connectivity of the Periodic Sum of Automata. [Citation Graph (0, 0)][DBLP ] Conf ] J. Horejs An Algebraic Model for Parallel Processes. [Citation Graph (0, 0)][DBLP ] Conf ] Klaus Indermark On Ianov Schemas with One Memory Location. [Citation Graph (0, 0)][DBLP ] Conf ] Ivan Korec Computational Complexity Based on Expectation of the Time of Computation on Minsky Machines. [Citation Graph (0, 0)][DBLP ] Conf ] Jaroslav Král Some Sources of Primitive Constructs in Programming Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Herbert Küstner An Algebraic Characterization of Stochastic Finite-State Automata and Their Behaviour Functions. [Citation Graph (0, 0)][DBLP ] Conf ] Daniele Marini , Pierangelo Miglioli Characterization of Programs and Their Synthesis from a Formalized Theory. [Citation Graph (0, 0)][DBLP ] Conf ] Jaroslav Morávek Computational Optimality of a Dynamic Programming Method. [Citation Graph (0, 0)][DBLP ] Conf ] Miloslav Nekvinda On the Complexity of Countable Functions (Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Peter A. Ng , Raymond T. Yeh Tree Transformations via Finite Recursive Transition Machines. [Citation Graph (0, 0)][DBLP ] Conf ] I. Peák , N. Q. Khang On Endomorphism Semigroup of Nilpotent Automata. [Citation Graph (0, 0)][DBLP ] Conf ] Vaclav Rajlich Relational Structures and Dynamics of Certain Discrete Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Willem P. de Roever Operational and Mathematical Semantics for Recursive Polyadic Program Schemata. [Citation Graph (0, 0)][DBLP ] Conf ] Branislav Rovan Necessary Conditions for Containment of Principal (Semi-)AFL with Bounded Generators. [Citation Graph (0, 0)][DBLP ] Conf ] L. G. Samoilenko Construction and Properties of Context-Sensitive Grammars and Languages (in Russian). [Citation Graph (0, 0)][DBLP ] Conf ] Dan A. Simovici On Some Measures on Free Semigroups Induced by Semiautomata. [Citation Graph (0, 0)][DBLP ] Conf ] Andrzej Skowron Machines with Input and Output. [Citation Graph (0, 0)][DBLP ] Conf ] Olga Stepánková , Ivan M. Havel Some Results Concerning the Situation Calculus. [Citation Graph (0, 0)][DBLP ] Conf ] Hans-Georg Stork A Note on Improving Input Strings for Paging Machines. [Citation Graph (0, 0)][DBLP ] Conf ] Pavel Strnad Turing Machine Recognition. [Citation Graph (0, 0)][DBLP ] Conf ] Ivan Hal Sudborough , A. Zalcberg On Families of Languages Defined by Time-Bounded Random Access Machines. [Citation Graph (0, 0)][DBLP ] Conf ] 