Sciweavers

17 search results - page 1 / 4
» ershov 2003
Sort
View
ERSHOV
2003
Springer
13 years 8 months ago
Polynomial Approximations for Model Checking
Nikolay V. Shilov, Natalya Olegovna Garanina
ERSHOV
2003
Springer
13 years 8 months ago
A Relational Algebra for Functional Logic Deductive Databases
Jesús Manuel Almendros-Jiménez, Anto...
ERSHOV
2003
Springer
13 years 8 months ago
Complexity of Model Checking by Iterative Improvement: The Pseudo-Boolean Framework
We present several new algorithms as well as new lower and upper bounds for optimizing functions underlying infinite games pertinent to computer-aided verification.
Henrik Björklund, Sven Sandberg, Sergei G. Vo...