1302 search results - page 181 / 261 » Free-Style Theorem Proving |
ECSQARU
2001
Springer
14 years 1 months ago
2001
Springer
In this paper we examine the ability to perform causal reasoning with equilibrium models. We explicate a postulate, which we term the Manipulation Postulate, that is required in o...
LPAR
2001
Springer
14 years 1 months ago
2001
Springer
Abstract. The calculus of structures is a framework for specifying logical systems, which is similar to the one-sided sequent calculus but more general. We present a system of infe...
LICS
2000
IEEE
14 years 1 months ago
2000
IEEE
We give an axiomatic treatment of fixed-point operators in categories. A notion of iteration operator is defined, embodying the equational properties of iteration theories. We p...
CRYPTO
2000
Springer
14 years 1 months ago
2000
Springer
In this paper we investigate the relationship between the nonlinearity and the order of resiliency of a Boolean function. We first prove a sharper version of McEliece theorem for ...
CAISE
1999
Springer
14 years 1 months ago
1999
Springer
In this paper, we describe the process specification language ConGolog and show how it can be used to model business processes for requirements analysis. In ConGolog, the effects...