1026 search results - page 3 / 206 » A Methodology for Equational Reasoning |
ELP
1991
15 years 1 months ago
1991
63
Voted
CADE
2005
Springer
15 years 9 months ago
2005
Springer
CADE
2003
Springer
15 years 9 months ago
2003
Springer
117
Voted
AIMDM
1999
Springer
15 years 1 months ago
1999
Springer
Knowledge representation has always been a major problem in the design of medical decision support systems. In this paper we present a new methodology to represent and reason about...
HASKELL
2006
ACM
15 years 3 months ago
2006
ACM
We introduce the new, improved version of the Haskell Equational Reasoning Assistant, which consists of an Ajax application for rewriting Haskell fragments in their context, and a...