Alan F. McMichael

According to our database¹, Alan F. McMichael authored at least 4 papers between 1980 and 1991.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

1991

Mechanization of Analytic Reasoning About Sets.

[BibT_eX]

[DOI]

Proceedings of the 9th National Conference on Artificial Intelligence, 1991

1990

SLIM: An Automated Reasoner For Equivalences, Applied To Set Theory.

[BibT_eX]

[DOI]

Proceedings of the 10th International Conference on Automated Deduction, 1990

1983

A new actualist modal semantics.

[BibT_eX]

[DOI]

J. Philos. Log., 1983

1980

An alternative theory of nonexistent objects.

[BibT_eX]

[DOI]

J. Philos. Log., 1980