2 search results - page 1 / 1 » Galois Connections and Fixed Point Calculus |
ACMMPC
2000
Springer
14 years 3 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 ...
FLOPS
2008
Springer
14 years 12 days ago
2008
Springer
In this paper, we present an extension of the scheme HH(C) (Hereditary Harrop formulas with Constraints) with a suitable formulation of negation in order to obtain a constraint ded...