Sciweavers

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