Optimized encodings of fragments of type theory in first-order logic

autor
Smith, Jan M.
vastutusandmed
Tanel Tammet and Jan M.Smith
ajakirja aastakäik number kuu
Vol. 8
ilmumisaasta
leheküljed
6, p. 713-744
ISSN
0955-792X
märkused
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.