Elektronische Informationsverarbeitung und Kybernetik, Band 26

Volume 26, Number 1/2, January / February 1990

Juraj Procházka: Systolic Systems for Polynomial GCD Computation. 5-18 BibTeX
Magnus Steinby: A Formal Theory of Errors in Tree Representations of Patterns. 19-32 BibTeX
Hans-Dieter Ehrich, Amílcar Sernadas, Cristina Sernadas: From Data Types to Object Types. 33-48 BibTeX
Erzsébet Csuhaj-Varjú, Jürgen Dassow: On Cooperating/Distributed Grammar Systems. 49-63 BibTeX
Mathias Bull, Armin Hemmerling: Finite Embedded Trees and Simply Connected Mazes cannot be Searched by Halting Finite Automata. 65-73 BibTeX
Jürgen Lampe: Local Parse - A Base for Realistic Parallelisation of Compilers. 75-84 BibTeX
Bernd Reichel: Some Classifications of Indian Parallel Languages. 85-99 BibTeX
Lutz Voelkel: Graphs and Automata in the Theory of Signature Analysis. 101-117 BibTeX

Erkki Mäkinen: On Breadth-first Context-free Grammars. 129-135 BibTeX
Jovisa D. Zunic: Approximate Convex Hull Algorithm - Efficiency Evaluations. 137-148 BibTeX
Jean-Louis Krivine, Michel Parigot: Programming with Proofs. 149-167 BibTeX
Djamil Sarni: Lambda-Calculus on Occurrence The Theory and its Combinatorial Counterpart. 169-187 BibTeX

Marisa Venturini Zilli: Net Algebras on Process Algebras. 201-212 BibTeX
Masami Ito, Huei-Jan Shyr: p-Languages and p-Representations. 213-228 BibTeX
Dietmar Wätjen: On k-uniformly-limited T0L Systems and Languages. 229-238 BibTeX
Dietmar Schweigert: Clone Homomorphisms and Reductions. 239-247 BibTeX
Peter Schatte: On the Stochastic Behaviour of the Floating Point Mantissas of Sums. 249-254 BibTeX

Stephan Waack: The Parallel Complexity of Some Constructions in Combinatorial Group Theory. 265-281 BibTeX
Dietmar Wätjen, Erwin Unruh: On Extended k-uniformly-limited T0L Systems and Languages. 283-299 BibTeX
Lothar Budach, Ernst-Günter Giessmann, Hubert Grassmann, Bernd Graw, Christoph Meinel, Burkhard Molzan, Uwe Schäfer, Steffen Zahn, Peter Zienicke: RELACS - a Recursive Layout Computing System. 315-335 BibTeX
Walter Issel, Thomas Fischer: NBSF - eine Sprache zur strukturellen Beschreibung von Schaltkreisen. 337-357 BibTeX

Manfred Koebe, Jens Knöchel: On the Block Alignment Problem. 377-387 BibTeX
Christoph Meinel, Lothar Budach, Frank Balfanz, Steffen Zahn, Peter Zienicke: Entwurfserfahrungen mit dem rekursiven Layoutentwurfssystem RELACS; I. 389-414 BibTeX
Martin Sonntag: Hamiltonicity of the Normal Product of Hypergraphs. 415-433 BibTeX

Eberhard Bertsch: Preservation of LL- and LR-properties in Flattened Grammars. 443-450 BibTeX
André Arnold, Damian Niwinski: Fixed Point Characterization of Büchi Automata on Infinite Trees. 451-459 BibTeX
Elisabeth Pelz: Logic Versus Sequential and Concurrent Net Behaviour. 461-472 BibTeX
Uwe Jansen: An Efficient Way of Calculating the Distribution Function Density, and Moments of Phase Type Distributions. 473-484 BibTeX
Christoph Meinel, Lothar Budach, Frank Balfanz, Steffen Zahn, Peter Zienicke: Entwurfserfahrungen mit dem rekursiven Layoutentwurfssystem RELACS; II. 501-515 BibTeX

Elena Stöhr: Optimal Book Embeddings of Depth-k K_n-cylinders. 525-536 BibTeX
Bernhard Goetze, Eduard N. Gordejev, Werner Nehrlich, Dimitri W. Kochetkov: Maximal Empty Boxes in Higher-dimensional Spaces. 537-545 BibTeX
Bernd Becker, Joachim Hartmann: Optimal-Time Multipliers and C-Testability. 547-561 BibTeX
Helmut Jürgensen, S. S. Yu: Solid Codes. 563-574 BibTeX

Reiner Kolla: Minimal Area Sizing of Power Supply Nets in VLSI Circuits. 585-605 BibTeX
Ulrike Baumann, Manfred Lesch: Equivalent Colourings and Partitions of Graphs. 607-614 BibTeX
Michael Löwe: Implementing Algebraic Specifications by Graph Transformation Systems. 615-641 BibTeX
Gabriele Steidl: Existence and Construction of Self-complementary Normal Bases. 643-651 BibTeX