Optimized encodings of fragments of type theory in first-order logic
autor
Tammet, Tanel
Smith, Jan M.
vastutusandmed
Tanel Tammet and Jan M.Smith
allikas
Journal of logic and computation
ajakirja aastakäik number kuu
Vol. 8
ilmumisaasta
1998
leheküljed
6, p. 713-744
ISSN
0955-792X
märkused
Bibliogr.: 22 ref