New Uses of Linear Arithmetic in Automated Theorem Proving by Induction

Authors
D.Kapur,M.Subramaniam
Citation
D.kapur,m.subramaniam, New Uses of Linear Arithmetic in Automated Theorem Proving by Induction, Journal of automated reasoning , 16(1;2), 1996, pp. 39-78
Journal title
Journal of automated reasoning → ACNP
ISSN journal
01687433
Volume
16
Issue
1;2
Year of publication
1996
Pages
39 - 78
Database
ACNP
SICI code