131 search results - page 1 / 27 » Leftist Canonical Ordering |
GD
2009
Springer
13 years 9 months ago
2009
Springer
Canonical ordering is an important tool in planar graph drawing and other applications. Although a linear-time algorithm to determine canonical orderings has been known for a while...
ORDER
2006
13 years 4 months ago
2006
CORR
2010
Springer
13 years 5 months ago
2010
Springer
We construct a canonical extension for strong proximity lattices in order to give an algebraic, point-free description of a finitary duality for stably compact spaces.
KGC
1997
Springer
13 years 9 months ago
1997
Springer
The tree isomorphism problem is the problem of determining whether two trees are isomorphic. The tree canonization problem is the problem of producing a canonical tree isomorphic t...
ORDER
2008
13 years 4 months ago
2008
Using duality theory, we give necessary and sufficient conditions for the MacNeille, canonical, and profinite completions of distributive lattices, Heyting algebras, and Boolean al...