The intractability of validity in logic programming and dynamic logic

Howard A. Blair

Research output: Chapter in Book/Entry/PoemConference contribution

Original languageEnglish (US)
Title of host publicationLogics of Programs - Workshop
EditorsEdmund Clarke, Dexter Kozen
PublisherSpringer Verlag
Number of pages11
ISBN (Print)9783540128960
StatePublished - 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


OtherWorkshop on Logics of Programs, 1983
Country/TerritoryUnited States

ASJC Scopus subject areas

  • Theoretical Computer Science
  • General Computer Science

Cite this