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 BibTeX
@proceedings{DBLP:conf/fct/1977,
editor = {Marek Karpinski},
title = {Fundamentals of Computation Theory, Proceedings of the 1977 International
FCT-Conference, Poznan-K{\'o}rnik, Poland, September 19-23,
1977},
booktitle = {FCT},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {56},
year = {1977},
isbn = {3-540-08442-8},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Algebraic & Constructive Theory of Machines,
Computations and Languages
- R. G. Bukharajev, Ju. A. Alpin:
Methodology of Proving a Finite-State Stochastic Representability and Nonrepresentability.
3-11 BibTeX
- André Arnold, Maurice Nivat:
Non Deterministic Recursive Program Schemes.
12-21 BibTeX
- Alexander R. Bednarek, S. M. Ulam:
Some Remarks on Relational Composition in Computational Theory and Practice.
22-32 BibTeX
- Jan A. Bergstra, Alexander Ollongren, Theo P. van der Weide:
An Axiomatization of the Rational Data Objects.
33-38 BibTeX
- Jean Berstel:
Some Recent Results on Recognizable Formal Power Series.
39-48 BibTeX
- Meera Blattner, Seymour Ginsburg:
Canonical Forms of Context - Free Grammars and Position Restricted Grammar Forms.
49-53 BibTeX
- Lothar Budach:
Environments, Labyrinths and Automata.
54-64 BibTeX
- Wolfgang Coy:
Automata in Labyrinths.
65-71 BibTeX
- Hans Daduna:
Stochastic Algebras and Stochastic Automata over General Measurable Spaces: Algebraic Theory and a Decomposition Theory.
72-77 BibTeX
- Jürgen Dassow:
Some Remarks on the Algebra of Automation Mapping.
78-83 BibTeX
- Hans-Dieter Ehrich:
Algebraic Semantics of Type Definitions and Structured Variables.
84-97 BibTeX
- Ferenc Gécseg:
Universal Algebras and Tree Automata.
98-112 BibTeX
- Ryszard Janicki:
Vectors of Coroutines over Blikle Nets.
113-119 BibTeX
- H. Kaphengst, Horst Reichel:
Initial Algebraic Semantics for Non Context-Free Languages.
120-126 BibTeX
- Robert Knast, Jacek Martinek:
Reading Functions and an Extension of Kleene Theorem for some Families of Languages.
127-134 BibTeX
- Andrzej Wlodzimierz Mostowski:
Operations on omega-Regular Languages.
135-141 BibTeX
- Manfred Nagl:
On the Relation Between Graph Grammars and Graph L-Systems.
142-151 BibTeX
- Jean-François Perrot:
On the Theory of Syntactic Monoids for Rational Languages.
152-165 BibTeX
- M. Roytberg:
The Equivalence of Schemata with some Feedback.
166-170 BibTeX
- Huei-Jan Shyr, Gabriel Thierrin:
Disjunctive Languages and Codes.
171-176 BibTeX
- Wolfgang Wechler:
Families of R-Fuzzy Languages.
177-186 BibTeX
- Józef Winkowski:
Algebras of Partial Sequences - A Tool to Deal with Concurrency.
187-198 BibTeX
Computation Theory in Category
Computability,
Decidability & Arithmetic Complexity
Copyright © Sat May 16 23:11:57 2009
by Michael Ley (ley@uni-trier.de)
