The following pages link to (Q4863622):
Displaying 4 items.
- Synthesizing nested relational queries from implicit specifications: via model theory and via proof theory (Q6597957) (← links)
- Dual tableau-based decision procedures for fragments of the logic of binary relations (Q6599613) (← links)
- Interactive matching logic proofs in Coq (Q6605348) (← links)
- Proving confluence in the confluence framework with confident (Q6622001) (← links)