Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all domains
Limit my searches in the following domains
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Authors
(788)
Peter H. Starke
17
Peter Schatte
14
Armin Hemmerling
13
Klaus Voss
11
Karl Strassner (Karl Straßner)
11
Jurgen Dassow (Jürgen Dassow)
11
Christoph Meinel
10
Michael Gossel (Michael Gössel)
10
Dietrich Stoyan
10
Lothar Budach
9
Keywords
(268)
Subscribe
Academic
Journals
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: 17Year 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