The following pages link to (Q3838764):
Displaying 5 items.
- Best unifiers in transitive modal logics (Q647403) (← links)
- Flat matching (Q999086) (← links)
- Solving equations with sequence variables and sequence functions (Q2457427) (← links)
- CoLL: A Confluence Tool for Left-Linear Term Rewrite Systems (Q3454087) (← links)
- T-string unification: Unifying prefixes in non-classical proof methods (Q4645241) (← links)