Non-emptiness test for automata over words indexed by the reals and rationals (Q6666789)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Non-emptiness test for automata over words indexed by the reals and rationals |
scientific article; zbMATH DE number 7970850
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Non-emptiness test for automata over words indexed by the reals and rationals |
scientific article; zbMATH DE number 7970850 |
Statements
Non-emptiness test for automata over words indexed by the reals and rationals (English)
0 references
20 January 2025
0 references
automata
0 references
linear orderings
0 references
real domain
0 references
rational domain
0 references
emptiness test
0 references
reachability
0 references
