Login / Signup
K. M. Hörnig
Publication Activity (10 Years)
Years Active: 1981-1982
Publications (10 Years): 0
</>
Publications
</>
K. M. Hörnig
,
Wolfgang Bibel
Improvements of a Tautology-Testing Algorithm.
CADE
(1982)
K. M. Hörnig
Generating small Models of First Order Axioms.
GWAI
(1981)