Pages that link to "Item:Q1379289"
From MaRDI portal
The following pages link to Proof theory and automated deduction (Q1379289):
Displaying 7 items.
- A new logic for electronic commerce protocols (Q1853749) (← links)
- Decidability of bounded higher-order unification (Q2456577) (← links)
- A proof-theoretic foundation of abortive continuations (Q2464725) (← links)
- Checking Z Data Refinements Using Traces Refinement (Q5179359) (← links)
- Detecting Unknots via Equational Reasoning, I: Exploration (Q5495915) (← links)
- Logic for computer scientists (Q5905500) (← links)
- Reductions for non-clausal theorem proving (Q5958754) (← links)
