The intractability of validity in logic programming and dynamic logic

Howard A Blair

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish (US)
Title of host publicationLogics of Programs - Workshop
PublisherSpringer Verlag
Pages57-67
Number of pages11
Volume164 LNCS
ISBN (Print)9783540128960
DOIs
StatePublished - Jan 1 1984
Externally publishedYes
EventWorkshop on Logics of Programs, 1983 - Pittsburgh, United States
Duration: Jun 6 1983Jun 8 1983

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume164 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

OtherWorkshop on Logics of Programs, 1983
CountryUnited States
CityPittsburgh
Period6/6/836/8/83

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Cite this

Blair, H. A. (1984). The intractability of validity in logic programming and dynamic logic. In Logics of Programs - Workshop (Vol. 164 LNCS, pp. 57-67). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 164 LNCS). Springer Verlag. https://doi.org/10.1007/3-540-12896-4_355