Collaborated with:∅
Talks about:equival (1) theori (1) reason (1) autom (1) appli (1) slim (1) set (1)
Person: Alan F. McMichael
DBLP: McMichael:Alan_F=
Contributed to:
1990Wrote 1 papers:
- CADE-1990-McMichael #automation #named #set
- SLIM: An Automated Reasoner For Equivalences, Applied To Set Theory (AFM), pp. 308–321.