130 search results - page 3 / 26 » An Equational Calculus for Alloy |
JFLP
2002
13 years 5 months ago
2002
In this paper we extend the lazy narrowing calculus lnc of Middeldorp, Okui, and Ida [26] to conditional rewrite systems. The resulting lazy conditional narrowing calculus lcnc is...
CORR
2006
Springer
13 years 5 months ago
2006
Springer
Abstract. We study the termination of rewriting modulo a set of equations in the Calculus of Algebraic Constructions, an extension of the Calculus of Constructions with functions a...
JSC
2000
13 years 5 months ago
2000
Tarski-Givant's map calculus is briefly reviewed, and a plan of research is outlined aimed at investigating applications of this ground equational formalism in the theorem-pr...
WLP
2004
Springer
13 years 11 months ago
2004
Springer
Abstract. In this paper we apply answer set programming to solve alternating Boolean equation systems. We develop a novel characterization of solutions for variables in disjunctive...
CIMAGING
2008
13 years 7 months ago
2008
We apply stabilized inverse diffusion equations (SIDEs) to segment microscopy images of materials to aid in analysis of defects. We extend SIDE segmentation methods and demonstrat...