Questions concerning possible shortest single axioms for the equivalential calculus: An application of automated theorem proving to infinite domains

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

Research output: Contribution to journalArticle

18 Scopus citations
Original languageEnglish (US)
Pages (from-to)205-223
Number of pages19
JournalNotre Dame Journal of Formal Logic
Volume24
Issue number2
DOIs
StatePublished - Apr 1983

ASJC Scopus subject areas

  • Logic

Cite this