- Henning Fernau. Membership for 1-Limited ET0L Languages Is Not Decidable. Elektronische Informationsverarbeitung und Kybernetik, 30(4):191-211, 1994.
- Bernd I. Dahn, Andreas Wolf. A Calculus Supporting Structured Proofs. Elektronische Informationsverarbeitung und Kybernetik, 30(5/6):261-276, 1994.
- Valeria Mihalache. Extended Conditional Tabled Eco-Grammar Systems. Elektronische Informationsverarbeitung und Kybernetik, 30(4):213-229, 1994.
- Armin Hemmerling. On Genuine Complexity and Kinds of Nondeterminism. Elektronische Informationsverarbeitung und Kybernetik, 30(2):77-96, 1994.
- Guntram Scheithauer. On the MAXGAP Problem for Cutting Stock Problems. Elektronische Informationsverarbeitung und Kybernetik, 30(2):111-117, 1994.
- Carsten Damm, Matthias Krause, Christoph Meinel, Stephan Waack. Separating Oblivious Linear Length MOD::p::-Branching Program Classes. Elektronische Informationsverarbeitung und Kybernetik, 30(2):63-75, 1994.
- Ryszard Janicki, Maciej Koutny. Representations of Discrete Interval Orders and Semi-Orders. Elektronische Informationsverarbeitung und Kybernetik, 30(3):161-168, 1994.
- Ulrike Baumann, Reinhard Pöschel, Irmgard Schmeichel. Power Graphs. Elektronische Informationsverarbeitung und Kybernetik, 30(3):135-142, 1994.
- Xiaorong Huang, Manfred Kerber, Jörn Richts, Arthur Sehn. Planning Mathematical Proofs with Methods. Elektronische Informationsverarbeitung und Kybernetik, 30(5/6):277-291, 1994.
- Andreas Wolf. Optimization and Translation of Tableau-Proofs into Resolution. Elektronische Informationsverarbeitung und Kybernetik, 30(5/6):311-325, 1994.