A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is
In 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings, volume 1632 of Lecture Notes in Computer Science, pages 202–206. ... In Automated Deduction - CADE-11, 11th International 26 AUTOMATIC VERIFICATION AND INTERACTIVE THEOREM PROVING Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15- 18, 1992, ...arXiv:1701.03602v1 fatcat:rrerd5bdlvhh5edx7kwgorftpy
Pfenning ed., Proceedings of the 21st Conference on Automated Deduction (CADE '07), Bremen, Germany, volume 4603 of Lecture Notes in Computer Science, pp. 410-425, Springer-Verlag, July 2007. ... ., Proceedings of the 3rd International Joint Conference on Automated Reasoning (IJCAR '06), Seattle, WA, USA, volume 4130 of Lecture Notes in Computer Science, pp. 332-346, Springer-Verlag, August 2006 ... Induction on the pair Ôt, uÕ ordered by Ô , Õ lex followed by a case analysis on t. t x. Variables are in normal forms with respect to HORPO so we cannot have x HORPO u. t @Ôt l , t r Õ. ...doi:10.6100/ir637480 fatcat:ggp5vkajkbajho2gyxvvwgukpq