Elektronische Informationsverarbeitung und Kybernetik, Band 17

Volume 17, Number 1, January 1981

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

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

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

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

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

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

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