Elektronische Informationsverarbeitung und Kybernetik, Band 30

Volume 30, Number 1, 1994

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

Volume 30, Number 2, 1994

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

Volume 30, Number 3, 1994

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

Volume 30, Number 4, 1994

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

Volume 30, Number 5/6, 1994

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