The intractability of validity in logic programming and dynamic logic

Howard A Blair

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

Fingerprint Dive into the research topics of 'The intractability of validity in logic programming and dynamic logic'. Together they form a unique fingerprint.