Pages that link to "Item:Q3613403"

The following pages link to A Logical Characterization of Forward and Backward Chaining in the Inverse Method (Q3613403):

Displaying 3 items.

• A logical characterization of forward and backward chaining in the inverse method (Q928660) (← links)
• Proof search and certificates for evidential transactions (Q2055859) (← links)
• Focused proof-search in the logic of bunched implications (Q2233409) (← links)