1071 search results - page 14 / 215 » The Calculus of Algebraic Constructions |
CORR
2010
Springer
13 years 9 months ago
2010
Springer
CORR
2012
Springer
12 years 5 months ago
2012
Springer
ENTCS
2002
13 years 9 months ago
2002
The last few years have seen the development of a new calculus which can be considered as an outcome of the last decade of various researches on (higher order) term rewriting syst...
WILF
2009
Springer
14 years 4 months ago
2009
Springer
Barycentric algebras have seen widespread application in the modeling of convex sets, semilattices, and quantum mechanics. Recently, they were developed further to encompass Boolea...
AAAI
1990
13 years 10 months ago
1990
Ladkin and Maddux [LaMa87] showed how to interpret the calculus of time intervals defined by Allen [AZ2831 in terms of representations of a particular relation algebra, and proved...