Elektronische Informationsverarbeitung und Kybernetik, Band 17

Volume 17, Number 1, January 1981

Werner Kuich: Zur Theorie algebraischer Systeme. 3-14 BibTeX
Peter Bachmann: Analysis of Weakly Interpreted Program Schemes. 15-26 BibTeX
Wolfgang Wechler: Abschlußeigenschaften (R, P)-rationaler Sprachen. 27-37 BibTeX
Rolf Hartwig: Über sprachliche Ausdrucksmittel zur syntaktischen Beherrschung der Äquivalenz von Folgen simultaner Wertzuweisungen an indizierte Variablen. 39-60 BibTeX

Hans-Dieter Burkhard: Ordered Firing in Petri Nets. 71-86 BibTeX
Do Minh Thai: On Minimal-Program Complexity of Complex Sets. 87-102 BibTeX
Gábor Czédli: On Dependencies in the Relational Model of Data. 103-112 BibTeX
Karl Straßner: Zur Strukturtheorie endlicher nichtdeterministischer Automaten I. Zum Verband der 1-Kongruenzen von endlichen Relationalsystemen. 113-120 BibTeX
Albrecht Hübler, Reinhard Klette, Klaus Voss: Determination of the Convex Hull of a Finite Set of Planar Points Within Linear Time. 121-139 BibTeX
Thomas Beth, Norbert Schäfer: ALGEBRA - An Interactive System for Finite Field Arithmetic. 141-143 BibTeX
Thomas Beth, Gerhard Sagerer: CODEC - A Program System for the Interactive Development of Error-correcting Coders/Decoders. 145-147 BibTeX
Norbert Ahlbehrendt, Volker Kempe: Synthese optimaler Synchronisationsalgorithmen für additiv verrauschte Bitströme im Videoband I. 149-166 BibTeX

Dieter Kalin: On Optimal Policies in Structured Markovian Decision Models. 181-191 BibTeX
Siegfried Gottwald: Fuzzy-Mengen und ihre Anwendungen. Ein Überblick. 207-235 BibTeX
Klaus Bothe: A Comparative Study of Abstract Data Type Concepts. 237-257 BibTeX
Bernd Lisek: Stability Theorems for Queueing Systems without Delay. 259-278 BibTeX
E. V. Krishnamurthy, Reinhard Klette: Fast Parallel Realization of Matrix Multiplication. 279-292 BibTeX
Peter Schatte: On Random Variables with Logarithmic Mantissa Distribution Relative to Several Bases. 293-295 BibTeX
Norbert Ahlbehrendt, Volker Kempe: Synthese optimaler Synchronisationsalgorithmen für additiv verrauschte Bitströme im Videoband II. 297-310 BibTeX

Dietmar Wätjen: A Generalization of the Input and Output Process Approach to Categorical Automata Theory. 325-344 BibTeX
Paavo Turakainen: Some Remarks on Intersections of Linear Context-free Languages. 345-348 BibTeX
Hans-Dieter Burkhard: Two Pumping Lemmata for Petri Nets. 349-362 BibTeX
Bernhard Goetze, Werner Nehrlich: The Number of Loops Necessary and Sufficient for Computing Simple Functions. 363-376 BibTeX

Peter H. Starke: Processes in Petri Nets. 389-416 BibTeX
Jacques Sakarovitch: Description des monoïdes de type fini. 417-434 BibTeX
Günter Hotz: k-dimensionale syntaktische Monoide. 435-449 BibTeX
Dietmar Wätjen: A Comparison between two Approaches to Categorical Automata Theory. 451-464 BibTeX
Klaus P. Jantke, Hans-Rainer Beick: Combining Postulates of Naturalness in Inductive Inference. 465-484 BibTeX

Bernd Graw: On Tape Complexity Classes and Savitch Mazes. 501-510 BibTeX
Karl Straßner: Zur Strukturtheorie endlicher nichtdeterministischer Automaten II. Gesteuerte Summen und Steuerbäume nichtdeterministischer Automaten. 511-522 BibTeX
Christoph Bandt, Gustav Burosch, Klaus-Dieter Drews: Conditionally Monotone Functions and Three Sperner Type Conditions. 523-537 BibTeX
Klaus Voss, Reinhard Klette: Zeiteffektive Algorithmen zur Objektisolierung mittels lokaler Operatoren. 539-553 BibTeX

Kurt Nawrotzki: Discrete Open Systems or Markov Chains in a Random Environment I. 569-599 BibTeX
László Szabó, Agnes Szendrei: Slupecki-type Criteria for Quasilinear Functions Over a Finite Dimensional Vector Space. 601-611 BibTeX
Hanns-Martin Teichert: Über eine Klasse von B-Produkten ungerichteter Graphen. 613-622 BibTeX
Jan Mandel: A Least Exchange Theorem for the Generalized Timetable Problem. 633-636 BibTeX
Endre Katona, Tamás Legendi: Cellular Algorithms for Fixed Point Decimal Addition and Multiplication. 637-644 BibTeX
Evzen Kindler, Karel Prokop, Stefan Chochol: Dynamic Modelling of Transport in Agricultural Systems. 645-657 BibTeX