Optimized encodings of fragments of type theory in first-order logic
author
Tammet, Tanel
Smith, Jan M.
statement of authorship
Tanel Tammet and Jan M.Smith
source
Journal of logic and computation
journal volume number month
Vol. 8
year of publication
1998
pages
6, p. 713-744
url
https://www.cse.chalmers.se/~smith/autolncs.pdf
subject term
tüübiteooria
kodeerimine
loogika
ISSN
0955-792X
notes
Bibliogr.: 22 ref
language
inglise