Sciweavers

642 search results - page 16 / 129
» corr 2006
Sort
View
CORR
2006
Springer
84views Education» more  CORR 2006»
15 years 11 days ago
On the freeze quantifier in Constraint LTL: decidability and complexity
Stéphane Demri, Ranko Lazic, David Nowak
CORR
2006
Springer
71views Education» more  CORR 2006»
15 years 11 days ago
On the Complexity of Limit Sets of Cellular Automata Associated with Probability Measures
Laurent Boyer, Victor Poupet, Guillaume Theyssier