Pages that link to "Item:Q548692"
From MaRDI portal
The following pages link to MSO logics for weighted timed automata (Q548692):
Displaying 8 items.
- Multi-weighted automata and MSO logic (Q504993) (← links)
- Weighted register automata and weighted logic on data words (Q1786559) (← links)
- Weighted automata (Q2074206) (← links)
- Weighted Symbolic Automata with Data Storage (Q2817389) (← links)
- Logics for Weighted Timed Pushdown Automata (Q2947171) (← links)
- Weighted Register Automata and Weighted Logic on Data Words (Q3179411) (← links)
- A Logical Characterization of Timed Pushdown Languages (Q3194716) (← links)
- (Q5092440) (← links)
