276 search results - page 56 / 56 » Representing Transition Systems by Logic Programs |
140
click to vote
CADE
2009
Springer
16 years 3 months ago
2009
Springer
Abstract This work studies the properties of finite automata recognizing vectors with real components, encoded positionally in a given integer numeration base. Such automata are us...