Tammet, T., Smith, J.M. - TalTech Research Portal

full record print

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

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.