Gödel's Algorithm for Class Formation

Authors:
Johan G. F. Belinfante
Affiliations:
-
Venue:
CADE-17 Proceedings of the 17th International Conference on Automated Deduction
Year:
2000

Citing 0
Cited 2

Computer proofs about finite and regular sets: the unifying concept of subvariance

Journal of Symbolic Computation - Special issue: First order theorem proving
Set Graphs. III. Proof Pearl: Claw-Free Graphs Mirrored into Transitive Hereditarily Finite Sets

Journal of Automated Reasoning

Quantified Score

Hi-index	0.00

Visualization

Abstract