3 search results - page 1 / 1 » On the generalized Berge sorting conjecture |
JDA
2010
14 years 8 months ago
2010
DM
2006
14 years 10 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...
84
Voted
CORR
2006
Springer
14 years 10 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...