Pages that link to "Item:Q2922004"
From MaRDI portal
The following pages link to A Logical Characterization of Timed (non-)Regular Languages (Q2922004):
Displaying 10 items.
- A tool for deciding the satisfiability of continuous-time metric temporal logic (Q262137) (← links)
- A logical characterization of timed regular languages (Q728264) (← links)
- On the initialization of clocks in timed formalisms (Q1989329) (← links)
- Two size measures for timed languages (Q2908867) (← links)
- Generating Functions of Timed Languages (Q2912714) (← links)
- A Machine-Independent Characterization of Timed Languages (Q3167002) (← links)
- Unambiguity in Timed Regular Languages: Automata and Logics (Q3588092) (← links)
- (Q4791839) (← links)
- A restricted second-order logic for non-deterministic poly-logarithmic time (Q5082331) (← links)
- Foundations of Software Science and Computation Structures (Q5308461) (← links)