The following pages link to Matching Logic (Q4600770):
Displaying 11 items.
- Towards a trustworthy semantics-based language framework via proof generation (Q832282) (← links)
- Matching logic explained (Q2035650) (← links)
- Many-sorted hybrid modal languages (Q2035658) (← links)
- Capturing constrained constructor patterns in matching logic (Q2096417) (← links)
- All-Path Reachability Logic (Q5170834) (← links)
- A Non-Deterministic Multiset Query Language (Q5862341) (← links)
- Matching µ-logic: Foundation of K framework (Q5875341) (← links)
- Connecting Constrained Constructor Patterns and Matching Logic (Q6486031) (← links)
- Unification in matching logic (Q6535966) (← links)
- SpeX: a rewriting-based formal specification environment (Q6562521) (← links)
- Interactive matching logic proofs in Coq (Q6605348) (← links)