Login / Signup
Volker Penner
Publication Activity (10 Years)
Years Active: 1973-1992
Publications (10 Years): 0
</>
Publications
</>
Antonius Klingler
,
Volker Penner
Parallelizing Recursive Logic Programs through Decomposition.
PARLE
(1992)
Volker Penner
Programmverifikation.
KIFS
(1986)
Volker Penner
Über eine Hierarchie von Push-Down-entscheidbaren Mengen.
Automatentheorie und Formale Sprachen
(1973)