Sciweavers

17129 search results - page 143 / 3426
» Applied Computing
Sort
View
ISTCS
1997
Springer
15 years 10 months ago
Weak Alternating Automata Are Not That Weak
Orna Kupferman, Moshe Y. Vardi
SAC
1996
ACM
15 years 10 months ago
Implementing non-linear constraints with cooperative solvers
Eric Monfroy, Michaël Rusinowitch, René...