3624 search results - page 97 / 725 » Abstract Algebraic Logic |
111
click to vote
KBSE
1997
IEEE
15 years 8 months ago
1997
IEEE
Abstract: This paper describes some tools to support formal methods, and conversely some formal methods for developing such tools. We focus on distributed cooperative proving over ...
128
click to vote
ACTA
2007
15 years 4 months ago
2007
Threads as contained in a thread algebra emerge from the behavioral abstraction from programs in an appropriate program algebra. Threads may make use of services such as stacks, an...
128
click to vote
JUCS
2006
15 years 4 months ago
2006
Abstract: In this paper the analysis of the data structures used in a symbolic computation system, called Kenzo, is undertaken. We deal with the specification of the inheritance re...
137
click to vote
EUSFLAT
2009
15 years 2 months ago
2009
Abstract-- Choquet-integral-based evaluation models are proposed. The evaluation parameters
