The recursion-theoretic complexity of the semantics of predicate logic as a programming language

Howard A. Blair

Research output: Contribution to journalArticle

28 Scopus citations
Original languageEnglish (US)
Pages (from-to)25-47
Number of pages23
JournalInformation and Control
Volume54
Issue number1-2
DOIs
StatePublished - Jan 1 1982

ASJC Scopus subject areas

  • Engineering(all)

Cite this