The following pages link to (Q4791839):
Displaying 10 items.
- An algebraic approach to data languages and timed languages (Q1398367) (← links)
- Weighted register automata and weighted logic on data words (Q1786559) (← links)
- A logical characterization of data languages. (Q1853115) (← links)
- Equational theories for automata (Q2074221) (← links)
- Deterministic regular expressions with back-references (Q2316926) (← links)
- (Q2842862) (← links)
- Weighted Register Automata and Weighted Logic on Data Words (Q3179411) (← links)
- Counting Multiplicity over Infinite Alphabets (Q3646259) (← links)
- Extending two-variable logic on data trees with order on data values and its automata (Q5410335) (← links)
- Active learning of deterministic timed automata with Myhill-Nerode style characterization (Q6535622) (← links)
