EIK - Journal of Information Processing and Cybernetics / Elektronische Informationsverarbeitung Und Kybernetik

Subscribe

Academic

EIK - Journal of Information Processing and Cybernetics / Elektronische Informationsverarbeitung Und Kybernetik

EIK - Journal of Information Processing and Cybernetics / Elektronische Informationsverarbeitung Und Kybernetik

Publications: 1,051| Citation Count: 1,642 (Self-Citation: 2)|H-Index: 17
Year Range: 1965-1994

Interests: Computer Science

Cumulative Annual

Order by:

Publications (1051)

Decidability Issues for Petri Nets: A Survey (Citations: 141)

Javier Esparza, Mogens Nielsen

Journal: Journal of Information Processing and Cybernetics / Elektronische Informationsverarbeitung Und Kybernetik - EIK , vol. 30, no. 3, pp. 143-160, 1994
Membership for 1Limited ET0L Languages Is Not Decidable (Citations: 20)

Henning Fernau

Journal: Journal of Information Processing and Cybernetics / Elektronische Informationsverarbeitung Und Kybernetik - EIK , vol. 30, no. 4, pp. 191-211, 1994
A Calculus Supporting Structured Proofs (Citations: 9)

Bernd I. Dahn, Andreas Wolf

Journal: Journal of Information Processing and Cybernetics / Elektronische Informationsverarbeitung Und Kybernetik - EIK , vol. 30, no. 5/6, pp. 261-276, 1994
Planning Mathematical Proofs with Methods (Citations: 13)

Xiaorong Huang, Manfred Kerber, Jörn Richts, Arthur Sehn

Journal: Journal of Information Processing and Cybernetics / Elektronische Informationsverarbeitung Und Kybernetik - EIK , vol. 30, no. 5/6, pp. 277-291, 1994
Generalized Rewriting in Type Theory (Citations: 2)

David A. Basin

Journal: Journal of Information Processing and Cybernetics / Elektronische Informationsverarbeitung Und Kybernetik - EIK , vol. 30, no. 5/6, pp. 249-259, 1994