1026 search results - page 3 / 206 » A Methodology for Equational Reasoning |
ELP
1991
13 years 10 months ago
1991
CADE
2005
Springer
14 years 7 months ago
2005
Springer
CADE
2003
Springer
14 years 7 months ago
2003
Springer
AIMDM
1999
Springer
13 years 11 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
14 years 26 days 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...