1. FCT 1977:
Poznan-Kórnik, Poland Marek Karpinski (Ed.):
Fundamentals of Computation Theory, Proceedings of the 1977 International FCT-Conference, Poznan-Kórnik, Poland, September 19-23, 1977.
Lecture Notes in Computer Science 56 Springer 1977, ISBN 3-540-08442-8 Algebraic & Constructive Theory of Machines, Computations and Languages
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Jean Berstel :
Some Recent Results on Recognizable Formal Power Series.
39-48
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Hans Daduna :
Stochastic Algebras and Stochastic Automata over General Measurable Spaces: Algebraic Theory and a Decomposition Theory.
72-77
export record as
dblp key:
Jürgen Dassow :
Some Remarks on the Algebra of Automation Mapping.
78-83
export record as
dblp key:
Hans-Dieter Ehrich :
Algebraic Semantics of Type Definitions and Structured Variables.
84-97
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Manfred Nagl :
On the Relation Between Graph Grammars and Graph L-Systems.
142-151
export record as
dblp key:
export record as
dblp key:
M. Roytberg :
The Equivalence of Schemata with some Feedback.
166-170
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Józef Winkowski :
Algebras of Partial Sequences - A Tool to Deal with Concurrency.
187-198
Computation Theory in Category
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Hartmut Ehrig :
Embedding Theorem in the Algebraic Theory of Graph Grammars.
245-255
export record as
dblp key:
Calvin C. Elgot :
Some ``Geometrical'' Categories Associated with Flowchart Schemes.
256-259
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Petr Kurka :
Applicability of a Production in a Categorical Grammar.
287-293
export record as
dblp key:
José Meseguer :
On Order-Complete Universal Algebra and Enriched Functorial Semantics.
294-301
export record as
dblp key:
Adam Obtulowicz :
Functorial Semantics of the Type Free lambda-beta eta Calculus.
302-307
export record as
dblp key:
Jan Reiterman :
A More Categorical Model of Universal Algebra.
308-313
export record as
dblp key:
export record as
dblp key:
Jerzy Tiuryn :
Fixed-Points and Algebras with Infinitely Long Expressions, II.
332-339
export record as
dblp key:
Vera Trnková :
Relational Automata ina Category and their Language.
340-355
export record as
dblp key:
Computability, Decidability & Arithmetic Complexity
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Michael A. Frumkin :
Polynomial Time Algorithms in the Theory of Linear Diophantine Equations.
386-392
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Marek Karpinski :
The Equivalences Problems for Binary EOL-Systems are Decidable.
423-434
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Ludek Kucera :
Expected Behavior of Graph Coloring Algorithms.
447-451
export record as
dblp key:
Witold Lipski Jr. :
Two NP-Complete Problems Related to Information Retrieval.
452-458
export record as
dblp key:
Tomasz Müldner :
On Properties of Certain Synchronizing Tool for Parallel Computations.
459-465
export record as
dblp key:
J. Ian Munro :
The Parallel Complexity of Arithmetic Computation.
466-475
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Detlef Seese :
Decidability of omaega-Trees with Bounded Sets - A Survey.
511-515
export record as
dblp key:
Ludwig Staiger :
Empty - Storage - Acceptance of omega-Languages.
516-521
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
data released under the ODC-BY 1.0 license
