Conferences in DBLP
Jirí Becvár Sequential Functions and Generalized Moore and Mealy Automata. [Citation Graph (0, 0)][DBLP ] Conf ] Alberto Bertoni Mathematical Methods of the Theory of Stochastic Automata. [Citation Graph (0, 0)][DBLP ] Conf ] L. Beyga On the Quasi-Controllability of Automata. [Citation Graph (0, 0)][DBLP ] Conf ] Janusz A. Brzozowski , Michael Yoeli Models for Analysis of Races in Sequential Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Joseph A. Goguen , James W. Thatcher , Eric G. Wagner , Jesse B. Wright Factorizations, Congruences, and the Decomposition of Automata and Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Jerzy W. Grzymala-Busse On the Periodic Sum and Extensions of Finite Automata. [Citation Graph (0, 0)][DBLP ] Conf ] Ivan M. Havel Finite Branching Automata: Automata Theory Motivated by Problem Solving. [Citation Graph (0, 0)][DBLP ] Conf ] Peter Mikulecký On Configurations in Cellular Automata. [Citation Graph (0, 0)][DBLP ] Conf ] Klaus W. Wagner , Ludwig Staiger Finite Automata Acceptation of Infinite Sequences. [Citation Graph (0, 0)][DBLP ] Conf ] Wolfgang Wechler R-Fuzzy Automata with a Time-Variant Structure. [Citation Graph (0, 0)][DBLP ] Conf ] R. V. Freivald Functions Computable in the Limit by Probabilistic Machines. [Citation Graph (0, 0)][DBLP ] Conf ] Bernhard Goetze , Reinhard Klette Some Properties of Limit Recursive Functions. [Citation Graph (0, 0)][DBLP ] Conf ] Beata Konikowska On Some Approximation Problems of Continuous Computation. [Citation Graph (0, 0)][DBLP ] Conf ] W. Kwasowiec Set-Theoretic Properties of Programs in Stored Program Computers. [Citation Graph (0, 0)][DBLP ] Conf ] Zbigniew W. Ras Classification of Programs of a SPC. [Citation Graph (0, 0)][DBLP ] Conf ] Jerzy Tiuryn The Algebraic Approach to the Theory of Computing Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Wojciech Zakowski Continuous Simple Z-Machines, Z-Computable Functions and Sets of Functions of n Real Variables. [Citation Graph (0, 0)][DBLP ] Conf ] Ole-Johan Dahl An Approach to Correctness Proofs of Semicoroutines. [Citation Graph (0, 0)][DBLP ] Conf ] Piotr Dembinski Towards an Understanding of Complex Processes. [Citation Graph (0, 0)][DBLP ] Conf ] Andrzej Skowron Simulation. [Citation Graph (0, 0)][DBLP ] Conf ] Józef Winkowski Concurrent Programs. [Citation Graph (0, 0)][DBLP ] Conf ] J. P. Crestin Ultralinear Expressions. [Citation Graph (0, 0)][DBLP ] Conf ] Max Fontet A Family of Algebraic Systems Related to the Theory of Equations on Free Monoids. [Citation Graph (0, 0)][DBLP ] Conf ] Marek Karpinski Stretching by Probabilistic Tree Automata and Santos Grammars. [Citation Graph (0, 0)][DBLP ] Conf ] Jaroslav Král Tow Down versus Bottom Up Syntax Analysis Revised. [Citation Graph (0, 0)][DBLP ] Conf ] Jan Maluszynski Substring Languages. [Citation Graph (0, 0)][DBLP ] Conf ] W. A. Owsianiecka Defining Languages by Mazurkiewicz Algorithms. [Citation Graph (0, 0)][DBLP ] Conf ] Alica Pirická Complexity and Normal Forms of Contex-Free Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Gerd Wechsung The Axiomatization Problem of a Theory of Linear Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Jozef Kelemen A Lattice-Theoretical Approach to Problem-Solving. [Citation Graph (0, 0)][DBLP ] Conf ] Zenon Kulpa On the Equivalence of Planar Grammars and Parallel Picture Processing Algorithms. [Citation Graph (0, 0)][DBLP ] Conf ] Witold Lipski Jr. Combinatorial Aspects of Information Storage and Retrieval. [Citation Graph (0, 0)][DBLP ] Conf ] Lech Banachowski Modular Approach to the Logical Theory of Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Andrzej Blikle Proving Programs by Sets of Computations. [Citation Graph (0, 0)][DBLP ] Conf ] Venelin K. Evtimov Bases of Paths in Correctness Proofs. [Citation Graph (0, 0)][DBLP ] Conf ] Hans-Jürgen Hoehnke Algebraic Models I. [Citation Graph (0, 0)][DBLP ] Conf ] Jacek Irlik Structured Programmability of Iterative Algorithms. [Citation Graph (0, 0)][DBLP ] Conf ] Jacek Leszczylowski On Equivalence of Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Jacek Leszczylowski Mathematical Model of Programs with Dynamic Allocation of Variables. [Citation Graph (0, 0)][DBLP ] Conf ] Pierangelo Miglioli Mathematical Foundations of Motivation Languages and Synthesis Maps. [Citation Graph (0, 0)][DBLP ] Conf ] Peter D. Mosses The Semantics of Semantic Equations. [Citation Graph (0, 0)][DBLP ] Conf ] Helena Rasiowa omega+-Valued Algorithmic Logic as a Tool to Investigate Procedures. [Citation Graph (0, 0)][DBLP ] Conf ] Willem P. de Roever Call-by-Value versus Call-by-Name: A proof-Theoretic Comparison. [Citation Graph (0, 0)][DBLP ] Conf ] Andrzej Salwicki Procedures, Formal Computations and Models. [Citation Graph (0, 0)][DBLP ] Conf ] 