Pages that link to "Item:Q2096592"
From MaRDI portal
The following pages link to Automata equipped with auxiliary data structures and regular realizability problems (Q2096592):
Displaying 3 items.
- Properties of graphs specified by a regular language (Q5918788) (← links)
- On the decidability of finding a positive ILP-instance in a regular set of ILP-instances (Q5918790) (← links)
- New characterizations of exponential, elementary, and non-elementary time-bounded Turing machines (Q6040662) (← links)