Conferences in DBLP
R. G. Bukharajev , Ju. A. Alpin Methodology of Proving a Finite-State Stochastic Representability and Nonrepresentability. [Citation Graph (0, 0)][DBLP ] Conf ] André Arnold , Maurice Nivat Non Deterministic Recursive Program Schemes. [Citation Graph (0, 0)][DBLP ] Conf ] Alexander R. Bednarek , S. M. Ulam Some Remarks on Relational Composition in Computational Theory and Practice. [Citation Graph (0, 0)][DBLP ] Conf ] Jan A. Bergstra , Alexander Ollongren , Theo P. van der Weide An Axiomatization of the Rational Data Objects. [Citation Graph (0, 0)][DBLP ] Conf ] Jean Berstel Some Recent Results on Recognizable Formal Power Series. [Citation Graph (0, 0)][DBLP ] Conf ] Meera Blattner , Seymour Ginsburg Canonical Forms of Context - Free Grammars and Position Restricted Grammar Forms. [Citation Graph (0, 0)][DBLP ] Conf ] Lothar Budach Environments, Labyrinths and Automata. [Citation Graph (0, 0)][DBLP ] Conf ] Wolfgang Coy Automata in Labyrinths. [Citation Graph (0, 0)][DBLP ] Conf ] Hans Daduna Stochastic Algebras and Stochastic Automata over General Measurable Spaces: Algebraic Theory and a Decomposition Theory. [Citation Graph (0, 0)][DBLP ] Conf ] Jürgen Dassow Some Remarks on the Algebra of Automation Mapping. [Citation Graph (0, 0)][DBLP ] Conf ] Hans-Dieter Ehrich Algebraic Semantics of Type Definitions and Structured Variables. [Citation Graph (0, 0)][DBLP ] Conf ] Ferenc Gécseg Universal Algebras and Tree Automata. [Citation Graph (0, 0)][DBLP ] Conf ] Ryszard Janicki Vectors of Coroutines over Blikle Nets. [Citation Graph (0, 0)][DBLP ] Conf ] H. Kaphengst , Horst Reichel Initial Algebraic Semantics for Non Context-Free Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Robert Knast , Jacek Martinek Reading Functions and an Extension of Kleene Theorem for some Families of Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Andrzej Wlodzimierz Mostowski Operations on omega-Regular Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Manfred Nagl On the Relation Between Graph Grammars and Graph L-Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Jean-François Perrot On the Theory of Syntactic Monoids for Rational Languages. [Citation Graph (0, 0)][DBLP ] Conf ] M. Roytberg The Equivalence of Schemata with some Feedback. [Citation Graph (0, 0)][DBLP ] Conf ] Huei-Jan Shyr , Gabriel Thierrin Disjunctive Languages and Codes. [Citation Graph (0, 0)][DBLP ] Conf ] Wolfgang Wechler Families of R-Fuzzy Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Józef Winkowski Algebras of Partial Sequences - A Tool to Deal with Concurrency. [Citation Graph (0, 0)][DBLP ] Conf ] Jirí Adámek , Václav Koubek Remarks on Fixed Points of Functors. [Citation Graph (0, 0)][DBLP ] Conf ] Jirí Adámek , Vera Trnková Recognizable and Regular Languages in a Category. [Citation Graph (0, 0)][DBLP ] Conf ] Michael A. Arbib Free Dynamic and Algebraic Semantics. [Citation Graph (0, 0)][DBLP ] Conf ] Michael A. Arbib , Ernest G. Manes Efficient State-Splitting. [Citation Graph (0, 0)][DBLP ] Conf ] Gisbert Dittrich , Wolfgang Merzenich Nets over Many Sorted Operator Domains and Their Semantics. [Citation Graph (0, 0)][DBLP ] Conf ] Hartmut Ehrig Embedding Theorem in the Algebraic Theory of Graph Grammars. [Citation Graph (0, 0)][DBLP ] Conf ] Calvin C. Elgot Some ``Geometrical'' Categories Associated with Flowchart Schemes. [Citation Graph (0, 0)][DBLP ] Conf ] Hans-Jürgen Hoehnke On Partial Recursive Definitions and Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Hans-Jörg Kreowski Transformationas of Derivation Sequences in Graph Grammars. [Citation Graph (0, 0)][DBLP ] Conf ] Petr Kurka Applicability of a Production in a Categorical Grammar. [Citation Graph (0, 0)][DBLP ] Conf ] José Meseguer On Order-Complete Universal Algebra and Enriched Functorial Semantics. [Citation Graph (0, 0)][DBLP ] Conf ] Adam Obtulowicz Functorial Semantics of the Type Free lambda-beta eta Calculus. [Citation Graph (0, 0)][DBLP ] Conf ] Jan Reiterman A More Categorical Model of Universal Algebra. [Citation Graph (0, 0)][DBLP ] Conf ] Hans Jürgen Schneider Graph Grammars. [Citation Graph (0, 0)][DBLP ] Conf ] Jerzy Tiuryn Fixed-Points and Algebras with Infinitely Long Expressions, II. [Citation Graph (0, 0)][DBLP ] Conf ] Vera Trnková Relational Automata ina Category and their Language. [Citation Graph (0, 0)][DBLP ] Conf ] A. Wiweger Generalized Linton Algebras. [Citation Graph (0, 0)][DBLP ] Conf ] Edward G. Belaga On Analysis of Protoschemes. [Citation Graph (0, 0)][DBLP ] Conf ] J. Richard Büchi Using Determinancy of Games to Eliminate Quantifiers. [Citation Graph (0, 0)][DBLP ] Conf ] Douglas A. Cenzer Non-Generable RE Sets. [Citation Graph (0, 0)][DBLP ] Conf ] Michael A. Frumkin Polynomial Time Algorithms in the Theory of Linear Diophantine Equations. [Citation Graph (0, 0)][DBLP ] Conf ] Daniel S. Hirschberg Complexity of Common Subsequence Problems. [Citation Graph (0, 0)][DBLP ] Conf ] Sándor Horváth Complexity of Sequence Encoding. [Citation Graph (0, 0)][DBLP ] Conf ] Günter Hotz , Manfred Stadl Network Complexity. [Citation Graph (0, 0)][DBLP ] Conf ] Max I. Kanovic On Computability of Kolmogorov Complexity. [Citation Graph (0, 0)][DBLP ] Conf ] Marek Karpinski The Equivalences Problems for Binary EOL-Systems are Decidable. [Citation Graph (0, 0)][DBLP ] Conf ] Efim B. Kinber On a Theory of Inductive Inference. [Citation Graph (0, 0)][DBLP ] Conf ] Antoni Kreczmar On Finite and Infinite Computations. [Citation Graph (0, 0)][DBLP ] Conf ] Ludek Kucera Expected Behavior of Graph Coloring Algorithms. [Citation Graph (0, 0)][DBLP ] Conf ] Witold Lipski Jr. Two NP-Complete Problems Related to Information Retrieval. [Citation Graph (0, 0)][DBLP ] Conf ] Tomasz Müldner On Properties of Certain Synchronizing Tool for Parallel Computations. [Citation Graph (0, 0)][DBLP ] Conf ] J. Ian Munro The Parallel Complexity of Arithmetic Computation. [Citation Graph (0, 0)][DBLP ] Conf ] Eugene M. Morris Maximal Rectangular Relations. [Citation Graph (0, 0)][DBLP ] Conf ] Jaroslav Nesetril , Ales Pultr A Dushnik - Miller Type Dimension of Graphs and its Complexity. [Citation Graph (0, 0)][DBLP ] Conf ] S. Radziszowski Programming and P=NP Conjecture. [Citation Graph (0, 0)][DBLP ] Conf ] Andrzej Salwicki An Algorithmic Approach to Set Theory. [Citation Graph (0, 0)][DBLP ] Conf ] Detlef Seese Decidability of omaega-Trees with Bounded Sets - A Survey. [Citation Graph (0, 0)][DBLP ] Conf ] Ludwig Staiger Empty - Storage - Acceptance of omega-Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Dirk Siefkes Degrees of Circuit Complexity. [Citation Graph (0, 0)][DBLP ] Conf ] Klaus W. Wagner , Ludwig Staiger Recursive omega-Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Klaus Weihrauch A Genralized Computability Thesis. [Citation Graph (0, 0)][DBLP ] Conf ] 