Pages that link to "Item:Q3498425"
From MaRDI portal
The following pages link to Theorem Proving Modulo Based on Boolean Equational Procedures (Q3498425):
Displayed 4 items.
- Twenty years of rewriting logic (Q1931904) (← links)
- A rewriting logic approach to specification, proof-search, and meta-proofs in sequent systems (Q2095424) (← links)
- Formalization of universal algebra in Agda (Q2333322) (← links)
- The Formal System of Dijkstra and Scholten (Q2945729) (← links)