An Automata-Theoretic Approach to Modeling Systems and Specifications over Infinite Data
2017 ◽
pp. 1-18
◽
1986 ◽
Vol 19
(3)
◽
pp. 116-130
◽
Keyword(s):
1995 ◽
Vol 17
(2)
◽
pp. 196-214
◽
Keyword(s):
Keyword(s):
2011 ◽
Vol E94-A
(3)
◽
pp. 929-936
◽
Keyword(s):