default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDElektronische Informationsverarbeitung und Kybernetik, Band 30
Volume 30, Number 1, 1994
- Zdzislaw Grodzki, Aleksander Wronski:
Generalized de Bruijn graphs. J. Inf. Process. Cybern. 30(1): 5-17 (1994) - Katja Landskron:
On k-limited L Forms. J. Inf. Process. Cybern. 30(1): 19-27 (1994) - Andrew Lim, Sartaj Sahni:
Segmented Winner Trees. J. Inf. Process. Cybern. 30(1): 29-43 (1994) - Raimonds Simanovskis:
Consistent and Conform Identification by Total Recursive Strategies. J. Inf. Process. Cybern. 30(1): 45-54 (1994) - Vu Dinh Hoa:
On the Length of Maximal Dominating Cycle in 2-Connected Graphs. J. Inf. Process. Cybern. 30(1): 55-60 (1994)
Volume 30, Number 2, 1994
- Carsten Damm, Matthias Krause, Christoph Meinel, Stephan Waack:
Separating Oblivious Linear Length MODp-Branching Program Classes. J. Inf. Process. Cybern. 30(2): 63-75 (1994) - Armin Hemmerling:
On Genuine Complexity and Kinds of Nondeterminism. J. Inf. Process. Cybern. 30(2): 77-96 (1994) - Cecilia Magdalena Ionescu, Octavian Procopiuc:
Bounded Communication in Parallel Communicating Grammar Systems. J. Inf. Process. Cybern. 30(2): 97-110 (1994) - Guntram Scheithauer:
On the MAXGAP Problem for Cutting Stock Problems. J. Inf. Process. Cybern. 30(2): 111-117 (1994)
Volume 30, Number 3, 1994
- Massimo Ancona, Alessandro Paone:
Table Merging by Compatible Partitions for LR Parsers is NP-complete. J. Inf. Process. Cybern. 30(3): 123-134 (1994) - Ulrike Baumann, Reinhard Pöschel, Irmgard Schmeichel:
Power Graphs. J. Inf. Process. Cybern. 30(3): 135-142 (1994) - Javier Esparza, Mogens Nielsen:
Decidability Issues for Petri Nets - a survey. J. Inf. Process. Cybern. 30(3): 143-160 (1994) - Ryszard Janicki, Maciej Koutny:
Representations of Discrete Interval Orders and Semi-Orders. J. Inf. Process. Cybern. 30(3): 161-168 (1994) - Dietmar Wätjen:
Regulation of Uniformly k-limited T0L Systems. J. Inf. Process. Cybern. 30(3): 169-187 (1994)
Volume 30, Number 4, 1994
- Henning Fernau:
Membership for 1-Limited ET0L Languages Is Not Decidable. J. Inf. Process. Cybern. 30(4): 191-211 (1994) - Valeria Mihalache:
Extended Conditional Tabled Eco-Grammar Systems. J. Inf. Process. Cybern. 30(4): 213-229 (1994) - Gheorghe Paun:
On the Generative Capacity of Hybrid CD Grammar Systems. J. Inf. Process. Cybern. 30(4): 231-244 (1994)
Volume 30, Number 5/6, 1994
- David A. Basin:
Generalized Rewriting in Type Theory. J. Inf. Process. Cybern. 30(5/6): 249-259 (1994) - Bernd I. Dahn, Andreas Wolf:
A Calculus Supporting Structured Proofs. J. Inf. Process. Cybern. 30(5/6): 261-276 (1994) - Xiaorong Huang, Manfred Kerber, Jörn Richts, Arthur Sehn:
Planning Mathematical Proofs with Methods. J. Inf. Process. Cybern. 30(5/6): 277-291 (1994) - Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel:
Tactics in KIV. J. Inf. Process. Cybern. 30(5/6): 293-310 (1994) - Andreas Wolf:
Optimization and Translation of Tableau-Proofs into Resolution. J. Inf. Process. Cybern. 30(5/6): 311-325 (1994)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-02-28 22:06 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
