The problem of finding and inference rule for set theory

Authors:
L. Wos
Affiliations:
Argonne National Laboratory, Argonne, IL
Venue:
Journal of Automated Reasoning
Year:
1989

Citing 0
Cited 3

An Equational Re-engineering of Set Theories

Selected Papers from Automated Deduction in Classical and Non-Classical Logics
Theory-specific automated reasoning

A 25-year perspective on logic programming
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