Anfried Knapp

Publication Activity (10 Years)

Years Active: 1981-1981
Publications (10 Years): 0

Publications

Günter Hornung, Anfried Knapp, Ulrike Knapp
A Parallel Connection Graph Proof Procedure. GWAI (1981)