The following pages link to Multitree automata that count (Q1770418):
Displaying 8 items.
- Automata for unordered trees (Q515668) (← links)
- XML schema, tree logic and sheaves automata (Q862561) (← links)
- Efficient automated reasoning about sets and multisets with cardinality constraints (Q2096432) (← links)
- Linear Arithmetic with Stars (Q3512499) (← links)
- Tree Automata for Non-linear Arithmetic (Q3522025) (← links)
- Fractional Collections with Cardinality Bounds, and Mixed Linear Arithmetic with Stars (Q3540175) (← links)
- Decision Procedures for Multisets with Cardinality Constraints (Q5452719) (← links)
- MUNCH - Automated Reasoner for Sets and Multisets (Q5747757) (← links)
