1071 search results - page 47 / 215 » The Calculus of Algebraic Constructions |
190
click to vote
ACMMPC
2000
Springer
15 years 10 months ago
2000
Springer
Fixed point calculus is about the solution of recursive equations de˛ned by a monotonic endofunction on a partially ordered set. This tutorial presents the basic theory of ˛xed ...
141
click to vote
BIOCOMP
2006
15 years 7 months ago
2006
The use of computer algebra software has many applications in diverse fields like epidemiology. This work pretends to show how computer algebra software applications for symbolic ...
165
click to vote
ICALP
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. We prove a new congruence result for the π-calculus: bisimilarity is a congruence in the sub-calculus that does not include restriction nor sum, and features top-level r...
138
click to vote
ACTAC
2002
15 years 6 months ago
2002
This paper describes a framework for handling bound variable renaming and substitution mathematically rigorously with the aim at the same time to stay as close as possible to huma...
172
click to vote
ER
2005
Springer
15 years 11 months ago
2005
Springer
The idea of Conceptual Neighbourhood Diagram (CND) has proved its relevance in the areas of qualitative reasoning about time and qualitative reasoning about space. In this work, a ...