On a unification problem related to Kreisel's conjecture
On computable real functions
On effective speed-up and long proofs of trivial theorems in formal theories
On Rough Subgroup of a Group
This article describes a rough subgroup with respect to a normal subgroup of a group, and some properties of the lower and the upper approximations in a group.
On the orthogonalization of arbitrary Boolean formulae.
One implementation of PL prover algorithm
Optimal learning systems