Pages that link to "Item:Q2851941"
From MaRDI portal
The following pages link to Psyche: A Proof-Search Engine Based on Sequent Calculus with an LCF-Style Architecture (Q2851941):
Displaying 5 items.
- Psyche (Q40232) (← links)
- Axiomatic Constraint Systems for Proof Search Modulo Theories (Q2964465) (← links)
- Stoic Sequent Logic and Proof Theory (Q5208124) (← links)
- Scalable fine-grained proofs for formula processing (Q5919479) (← links)
- Improving complex SMT strategies with learning (Q6069738) (← links)
