2080 search results - page 1 / 416 » Collections, Cardinalities, and Relations |
VMCAI
2010
Springer
14 years 1 months ago
2010
Springer
Abstract. Logics that involve collections (sets, multisets), and cardinality constraints are useful for reasoning about unbounded data structures and concurrent processes. To make ...
FOIS
2006
13 years 6 months ago
2006
We present a theory of granular parthood based on qualitative cardinality and size measures. Using standard mereological relations and qualitative, contextdependent relations such ...
AML
2008
13 years 4 months ago
2008
Relative to a hyperstrong cardinal, it is consistent that measure one covering fails relative to HOD. In fact it is consistent that there is a superstrong cardinal and for every re...
CAV
2009
Springer
14 years 5 months ago
2009
Springer
ity Abstraction for Declarative Networking Applications Juan A. Navarro P?erez, Andrey Rybalchenko, and Atul Singh Max Planck Institute for Software Systems (MPI-SWS) Declarative N...
DCC
2007
IEEE
14 years 4 months ago
2007
IEEE
This work is motivated by the necessity to automate the discovery of structure in vast and evergrowing collection of relational data commonly represented as graphs, for example ge...