45 search results - page 3 / 9 » A note on the transitivity of parthood |
JBI
2006
13 years 7 months ago
2006
Bridging levels of ``granularity'' and ``scale'' are frequently cited as key problems for biomedical informatics. However, detailed accounts of what is meant b...
IPL
2010
13 years 6 months ago
2010
Resource bisimilarity has been proposed in the literature on concurrency theory as a notion of bisimilarity over labeled transition systems that takes into account the number of c...
COMBINATORICS
2006
13 years 7 months ago
2006
We prove that the minimum number of distinct hamiltonian paths in a strong tournament of order n is 5 n-1 3 . A known construction shows this number is best possible when n 1 mod...
AML
2007
13 years 7 months ago
2007
We study the notion of weak dividing introduced by S. Shelah. In particular we prove that T is stable iff weak dividing is symmetric. In order to study simple theories Shelah orig...
JCSS
2010
13 years 6 months ago
2010
Abstract. Reset/inhibitor nets are Petri nets extended with reset arcs and inhibitor arcs. A reset arc allows a transition to remove all tokens from a certain place when the transi...