Pages that link to "Item:Q2842873"
From MaRDI portal
The following pages link to Rewriting in the partial algebra of typed terms modulo AC (Q2842873):
Displaying 6 items.
- XML schema, tree logic and sheaves automata (Q862561) (← links)
- Multitree automata that count (Q1770418) (← links)
- On symbolic verification of weakly extended PAD (Q2866343) (← links)
- Canonized rewriting and ground AC completion modulo Shostak theories: design and implementation (Q2914237) (← links)
- Canonized Rewriting and Ground AC Completion Modulo Shostak Theories (Q3000635) (← links)
- Algebraic semantics of rewriting terms and types (Q5881172) (← links)