Login / Signup
Tryggvi Edwald
Publication Activity (10 Years)
Years Active: 1990-1990
Publications (10 Years): 0
</>
Publications
</>
Tryggvi Edwald
The t-variable method in gentzen-style automatic theorem proving.
Math. Log. Q.
36 (3) (1990)