Sciweavers

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