3690 search results - page 341 / 738 » Computation with classical sequents |
144
click to vote
ISAAC
2007
Springer
16 years 29 days ago
2007
Springer
This paper studies to which extent the social welfare of a game can be influenced by an interested third party within economic reason, i.e., by taking the implementation cost into...
152
click to vote
ISSAC
2007
Springer
16 years 29 days ago
2007
Springer
It is classical that univariate algebraic functions satisfy linear differential equations with polynomial coefficients. Linear recurrences follow for the coefficients of their po...
171
click to vote
KI
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. We compare three systems for the task of synthesising functional recursive programs, namely Adate, an approach through evolutionary computation, the classification learn...
185
click to vote
LPNMR
2007
Springer
16 years 29 days ago
2007
Springer
Recently, the stable model semantics was extended to the syntax of arbitrary propositional formulas, which are beyond the traditional rule form. Cabalar and Ferraris, as well as Ca...
170
click to vote
MFCS
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. We introduce a new general polynomial-time constructionthe fibre construction- which reduces any constraint satisfaction problem CSP(H) to the constraint satisfaction pr...