1916 search results - page 1 / 384 » Reasoning with class algebra |
TOOLS
1999
IEEE
13 years 9 months ago
1999
IEEE
Class algebra provides a natural framework for sharing of ISA hierarchies between users that may be unaware of each other's definitions. This permits data from relational dat...
NCI
2004
13 years 6 months ago
2004
JLP
2011
13 years 5 days ago
2011
The family of domain algebras provide an elegant formal system for automated reasoning about programme verification. Their primary models are algebras of relations, viz. represen...
DLOG
1996
13 years 6 months ago
1996
FLOPS
2004
Springer
13 years 10 months ago
2004
Springer
This paper presents a complete (infinite) axiomatization for an algebraic construction of graphs, in which a finite fragment denotes the class of graphs with bounded tree width.