Completenes of a Prover for Dense Linear Orders

Authors
L.M.Hines
Citation
L.m.hines, Completenes of a Prover for Dense Linear Orders, Journal of automated reasoning , 8(1), 1992, pp. 45-76
Journal title
Journal of automated reasoning → ACNP
ISSN journal
01687433
Volume
8
Issue
1
Year of publication
1992
Pages
45 - 76
Database
ACNP
SICI code