Pages that link to "Item:Q5308461"
From MaRDI portal
The following pages link to Foundations of Software Science and Computation Structures (Q5308461):
Displaying 11 items.
- Learning of event-recording automata (Q604474) (← links)
- An algebraic approach to data languages and timed languages (Q1398367) (← 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)
- Thin and Thick Timed Regular Languages (Q3172847) (← links)
- (Q4328259) (← links)
- (Q5089309) (← links)
- (Q5094137) (← links)
- Real-Time Definable Languages (Q5532536) (← links)
- Active learning of deterministic timed automata with Myhill-Nerode style characterization (Q6535622) (← links)