A Logical Characterization of Forward and Backward Chaining in the Inverse Method
From MaRDI portal
Publication:3613403
DOI10.1007/11814771_9zbMath1222.68358OpenAlexW1797159706MaRDI QIDQ3613403
Greg Price, Kaustuv Chaudhuri, Frank Pfenning
Publication date: 12 March 2009
Published in: Automated Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11814771_9
Related Items
A logical characterization of forward and backward chaining in the inverse method ⋮ Focused proof-search in the logic of bunched implications ⋮ Proof search and certificates for evidential transactions
Uses Software