The following pages link to Automatentheorie und Logik (Q3083622):
Displaying 15 items.
- Regular language representations in the constructive type theory of Coq (Q1663246) (← links)
- \( \omega \)-automata (Q2074208) (← links)
- Automata and finite model theory (Q2244824) (← links)
- (Q3086936) (← links)
- Valuations of Weighted Automata: Doing It in a Rational Way (Q3098044) (← links)
- (Q3289367) (← links)
- Automata vs. Logics on Data Words (Q3586037) (← links)
- (Q3998008) (← links)
- (Q4029346) (← links)
- (Q4260339) (← links)
- (Q4344149) (← links)
- (Q5060236) (← links)
- (Q5387725) (← links)
- Logic and Branching Automata (Q5895230) (← links)
- Automata theory and its applications (Q5936849) (← links)