Pages that link to "Item:Q3655199"

The following pages link to Automating Theories in Intuitionistic Logic (Q3655199):

Displaying 2 items.

• Regaining cut admissibility in deduction modulo using abstract completion (Q2266989) (← links)
• Automating Theories in Intuitionistic Logic (Q3655199) (← links)