Pages that link to "Item:Q3030252"
From MaRDI portal
The following pages link to Matching, unification and complexity (Q3030252):
Displaying 10 items.
- Complexity of unification problems with associative-commutative operators (Q688565) (← links)
- A rewriting-based inference system for the NRL protocol analyzer and its meta-logical properties (Q860906) (← links)
- Complexity of matching problems (Q1099615) (← links)
- Equational unification and matching, and symbolic reachability analysis in Maude 3.2 (system description) (Q2104541) (← links)
- A formalisation of nominal C-matching through unification with protected variables (Q2333665) (← links)
- Automated mutual induction proof in separation logic (Q2414251) (← links)
- (Q5020553) (← links)
- (Q5020960) (← links)
- Formalising nominal C-unification generalised with protected variables (Q5022930) (← links)
- Variant Narrowing and Equational Unification (Q5179131) (← links)