Abstracts: automated theorem proving

Author: Thomas Jech
Title: Some results on combinators in the system TRC
to appear in J. Symb. Logic
Abstract: We prove that various unstratified combinators do not exist in TRC.

Author: Thomas Jech
Title: OTTER experiments in a system of combinatory logic
Journal of Automated Reasoning 14 (1995)
Abstract: In this paper we describe our experiments with OTTER in the system TRC of illative combinatory logic.