1916 search results - page 165 / 384 » Reasoning with class algebra |
178
click to vote
SAS
1991
Springer
15 years 8 months ago
1991
Springer
d Abstract) Marcelo Fiore1 Chung-Kil Hur2,3 Computer Laboratory University of Cambridge Cambridge, UK We introduce an abstract general notion of system of equations between terms,...
133
click to vote
ECTEL
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. Expressing generality, recognising and analysing patterns and articulating structure is a complex task and one that is invariably problematic for students. Nonetheless, v...
150
click to vote
OWLED
2008
15 years 5 months ago
2008
Abstract. In this paper, we show how the web ontology language OWL can be accommodated within the larger framework of the heterogeneous common algebraic specification language HETC...
108
click to vote
ACS
2008
15 years 4 months ago
2008
Abstract Subobject transformation systems (sts) are proposed as a novel formal framework for the analysis of derivations of transformation systems based on the algebraic, double-pu...
123
click to vote
AML
2004
15 years 4 months ago
2004
We introduce a deductive system Bal which models the logic of balance of opposing forces or of balance between conflicting evidence or influences. "Truth values" are int...