Pages that link to "Item:Q1774555"
From MaRDI portal
The following pages link to Unification modulo ACUI plus distributivity axioms (Q1774555):
Displaying 8 items.
- Closure properties and decision problems of dag automata (Q1041757) (← links)
- Solving \(*\)-problems modulo distributivity by a reduction to \(AC1\)- unification (Q1322774) (← links)
- Maude-NPA: Cryptographic Protocol Analysis Modulo Equational Properties (Q3184784) (← links)
- (Q3975702) (← links)
- (Q4282529) (← links)
- (Q4864469) (← links)
- Extensions of unification modulo ACUI (Q5139274) (← links)
- Automated Deduction – CADE-19 (Q5900732) (← links)