A new use of an automated reasoning assistant: Open questions in equivalential calculus and the study of infinite domains

L. Wos*, S. Winker, B. Smith, R. Veroff, L. Henschen

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review

23 Scopus citations

Fingerprint

Dive into the research topics of 'A new use of an automated reasoning assistant: Open questions in equivalential calculus and the study of infinite domains'. Together they form a unique fingerprint.

Mathematics

Computer Science