Optimized encodings of fragments of type theory in first-order logic
author
Smith, Jan M.
statement of authorship
Tanel Tammet and Jan M.Smith
journal volume number month
Vol. 8
year of publication
pages
6, p. 713-744
ISSN
0955-792X
notes
Bibliogr.: 22 ref
Tammet, T., Smith, J.M. Optimized encodings of fragments of type theory in first-order logic // Journal of logic and computation (1998) Vol. 8, 6, p. 713-744.