3 search results - page 1 / 1 » On the generalized Berge sorting conjecture |
JDA
2010
13 years 9 months ago
2010
DM
2006
13 years 11 months ago
2006
Berge's conjecture from 1982 on path partitions in directed graphs generalizes and extends Dilworth's Theorem and the Greene-Kleitman Theorem which are well known for pa...
CORR
2006
Springer
13 years 11 months ago
2006
Springer
for an informal presentation at CIE 2007 [2] is a typed -calculus that pursues the reuse of the term constructions both at the level of types and at the level of contexts, while en...