1127 search results - page 33 / 226 » Theory Extension in ACL2(r) |
105
click to vote
MKM
2009
Springer
15 years 5 months ago
2009
Springer
Since Mathematics really is about what mathematicians do, in this paper, we will look at the mathematical practice of framing, in which an object of interest is viewed in terms of ...
103
Voted
CAIP
2001
Springer
15 years 5 months ago
2001
Springer
In this paper, using hypergraph theory, we introduce an image model called Adaptive Image Neighborhood Hypergraph (AINH). From this model we propose a combinatorial definition of ...
112
Voted
MST
2010
14 years 7 months ago
2010
The 1-versus-2 queries problem, which has been extensively studied in computational complexity theory, asks in its generality whether every efficient algorithm that makes at most 2...
78
Voted
ICFP
2005
ACM
16 years 19 days ago
2005
ACM
MLF is a type system that extends a functional language with impredicative rank-n polymorphism. Type inference remains possible and only in some clearly defined situations, a loca...
118
click to vote
TPHOL
2008
IEEE
15 years 7 months ago
2008
IEEE
Abstract. Type Classes have met a large success in Haskell and Isabelle, as a solution for sharing notations by overloading and for specith abstract structures by quantification o...