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
leitav
https://www.cse.chalmers.se/~smith/autolncs.pdf
märksõna
tüübiteooria
kodeerimine
loogika
ISSN
0955-792X
märkused
Bibliogr.: 22 ref
keel
inglise