306 search results - page 10 / 62 » Constructive algebraic integration theory |
ETS
2002
IEEE
13 years 7 months ago
2002
IEEE
In this concluding synthesis article, I summarize and discuss the papers that comprise both parts of this special issues. Two organizing frameworks are provided to facilitate read...
ESOP
1990
Springer
13 years 11 months ago
1990
Springer
The need to integrate several versions of a program into a common one arises frequently, but it is a tedious and time consuming task to merge programs by hand. The program-integrat...
AFPAC
1997
Springer
13 years 11 months ago
1997
Springer
The topic of representation, recovery and manipulation of three-dimensional 3D scenes from two-dimensional 2D images thereof, provides a fertile ground for both intellectual th...
ACS
2011
13 years 1 months ago
2011
Abstract. One of the open problems in higher category theory is the systematic construction of the higher dimensional analogues of the Gray tensor product. In this paper we begin t...
ENTCS
2006
13 years 7 months ago
2006
We develop a domain theory for treating recursive types with respect to contextual equivalence. The principal approach taken here deviates from classical domain theory in that we ...