Sciweavers

58 search results - page 1 / 12
» fuin 2008
Sort
View
68
Voted
FUIN
2008
57views more  FUIN 2008»
15 years 26 days ago
The Halting Probability via Wang Tiles
Gregory J. Chaitin
98
Voted
FUIN
2008
72views more  FUIN 2008»
15 years 10 days ago
Some Varieties of Finite Tree Automata Related to Restricted Temporal Logics
Zoltán Ésik, Szabolcs Iván
66
Voted
FUIN
2008
80views more  FUIN 2008»
15 years 26 days ago
Products of Tree Automata with an Application to Temporal Logic
Zoltán Ésik, Szabolcs Iván