3 search results - page 1 / 1 » Highly Undecidable Problems about Recognizability by Tiling ... |
CORR
2008
Springer
13 years 4 months ago
2008
Springer
Altenbernd, Thomas and W
SYNASC
2008
IEEE
13 years 11 months ago
2008
IEEE
Abstract. A new approach to the design of massively parallel and interactive programming languages has been recently proposed using rv-systems (interactive systems with registers a...
LICS
2012
IEEE
11 years 7 months ago
2012
IEEE
Abstract—We investigate some basic questions about the interaction of regular and rational relations on words. The primary motivation comes from the study of logics for querying ...