Volume 14, Issue 2 | Journal of Automated Reasoning

Search all Journal of Automated Reasoning articles

Volume 14, Issue 2

June 1995

Filter by

Volume:

Sort by

Date published:

New to old Old to new

6 articles in this issue

Implicit induction in conditional theories
Adel Bouhoula
Michaël Rusinowitch
OriginalPaper Pages: 189 - 235
Theorem proving for intensional logic
Allan Ramsay
OriginalPaper Pages: 237 - 255
Automated production of traditional proofs in solid geometry
Shang-Ching Chou
Xiao-Shan Gao
Jing-Zhong Zhang
OriginalPaper Pages: 257 - 291
A path ordering for proving termination of AC rewrite systems
Deepak Kapur
G. Sivakumar
Hantao Zhang
OriginalPaper Pages: 293 - 316
On the complexity of nested-object matching
Kumar V. Vadaparty
OriginalPaper Pages: 317 - 323
SATCHMORE: SATCHMO with RElevancy
Donald W. Loveland
David W. Reed
Debra S. Wilson
OriginalPaper Pages: 325 - 351