137
Voted
TCS
2016
10 years 15 days ago
2016
We consider the property of unique parallel decomposition modulo branching and weak bisimilarity. First, we show that totally normed behaviours always have parallel decompositions,...
132
click to vote
TCS
2016
10 years 15 days ago
2016
Sample compression schemes are schemes for “encoding” a set of examples in a small subset of examples. The long-standing open sample compression conjecture states that, for any...
139
click to vote
TCS
2016
10 years 15 days ago
2016
This paper presents a substantially simplified axiomatization of Map Theory and proves the consistency of this axiomatization (called MT) in ZFC under the assumption that there e...
131
click to vote
TCS
2016
10 years 15 days ago
2016
The number of spanning trees of a graph is an important invariant related to topological and dynamic properties of the graph, such as its reliability, communication aspects, synch...
