Elektronische Informationsverarbeitung und Kybernetik, Band 30

Volume 30, Number 1, 1994

Zdzislaw Grodzki, Aleksander Wronski: Generalized de Bruijn graphs. 5-17 BibTeX
Katja Landskron: On k-limited L Forms. 19-27 BibTeX
Andrew Lim, Sartaj Sahni: Segmented Winner Trees. 29-43 BibTeX
Raimonds Simanovskis: Consistent and Conform Identification by Total Recursive Strategies. 45-54 BibTeX
Vu-Dinh-Hoa: On the Length of Maximal Dominating Cycle in 2-Connected Graphs. 55-60 BibTeX

Carsten Damm, Matthias Krause, Christoph Meinel, Stephan Waack: Separating Oblivious Linear Length MOD_p-Branching Program Classes. 63-75 BibTeX
Armin Hemmerling: On Genuine Complexity and Kinds of Nondeterminism. 77-96 BibTeX
Cecilia Magdalena Ionescu, Octavian Procopiuc: Bounded Communication in Parallel Communicating Grammar Systems. 97-110 BibTeX
Guntram Scheithauer: On the MAXGAP Problem for Cutting Stock Problems. 111-117 BibTeX

Massimo Ancona, Alessandro Paone: Table Merging by Compatible Partitions for LR Parsers is NP-complete. 123-134 BibTeX
Ulrike Baumann, Reinhard Pöschel, Irmgard Schmeichel: Power Graphs. 135-142 BibTeX
Javier Esparza, Mogens Nielsen: Decidability Issues for Petri Nets - a survey. 143-160 BibTeX
Ryszard Janicki, Maciej Koutny: Representations of Discrete Interval Orders and Semi-Orders. 161-168 BibTeX
Dietmar Wätjen: Regulation of Uniformly k-limited T0L Systems. 169-187 BibTeX

Henning Fernau: Membership for 1-Limited ET0L Languages Is Not Decidable. 191-211 BibTeX
Valeria Mihalache: Extended Conditional Tabled Eco-Grammar Systems. 213-229 BibTeX
Gheorghe Paun: On the Generative Capacity of Hybrid CD Grammar Systems. 231-244 BibTeX

David A. Basin: Generalized Rewriting in Type Theory. 249-259 BibTeX
Bernd I. Dahn, Andreas Wolf: A Calculus Supporting Structured Proofs. 261-276 BibTeX
Xiaorong Huang, Manfred Kerber, Jörn Richts, Arthur Sehn: Planning Mathematical Proofs with Methods. 277-291 BibTeX
Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel: Tactics in KIV. 293-310 BibTeX
Andreas Wolf: Optimization and Translation of Tableau-Proofs into Resolution. 311-325 BibTeX