1916 search results - page 53 / 384 » Reasoning with class algebra |
TPHOL
1999
IEEE
14 years 2 months ago
1999
IEEE
The standard versions of HOL only support disjoint sums over finite families of types. This paper introduces disjoint sums over type classes containing possibly a countably infinit...
AMC
2005
13 years 9 months ago
2005
This paper describes a new symbolic algorithm for formal integration of a class of functions in the context of exact power series by using generalized hypergeometric series and co...
CL
2000
Springer
14 years 2 months ago
2000
Springer
Abstract. This paper proposes to promote constraints to first-class status. In contrast to constraint propagation, which performs inference on values of variables, first-class co...
CSL
2008
Springer
13 years 11 months ago
2008
Springer
Abstract. We give a recursion-theoretic characterization of the complexity classes NCk
CSL
2008
Springer
13 years 11 months ago
2008
Springer
We study the expressive power of the logics EF + F-1 , 2 and boolean combinations of 1 over ranked trees. In particular, we provide effective characterizations of those three logic...