Pages that link to "Item:Q5452598"

The following pages link to Using First-Order Theorem Provers in the Jahob Data Structure Verification System (Q5452598):

Displayed 2 items.

• Translating higher-order clauses to first-order clauses (Q2471742) ‎ (← links)
• Using First-Order Theorem Provers in the Jahob Data Structure Verification System (Q5452598) ‎ (← links)