16 search results - page 2 / 4 » rml 2006 |
RML
2002
13 years 4 months ago
2002
RML
2006
13 years 4 months ago
2006
We construct a model of set theory without the foundation axiom in which there exists a transitive set whose intersection is not transitive.
RML
2002
13 years 4 months ago
2002
The inherent distributed structure of business rules shows a high affinity to the execution of business processes across the internet, as needed for e-business and e-commerce. Howe...
RML
2006
13 years 4 months ago
2006
Abstract. A topos version of Cantor's back and forth theorem is established and used to prove that the ordered structure of the rational numbers Q, < is homogeneous in any ...
RML
2002
13 years 4 months ago
2002
This paper presents the "situation manager" rule language. The situation manager is a tool that includes both a language and an efficient runtime execution mechanism, aim...