Sciweavers

16 search results - page 1 / 4
» Cyclic orders: Equivalence and duality
Sort
View
COMBINATORICA
2008
97views more  COMBINATORICA 2008»
13 years 5 months ago
Cyclic orders: Equivalence and duality
Cyclic orders of graphs and their equivalence have been promoted by Bessy and Thomass
Pierre Charbit, András Sebö
ENTCS
2007
92views more  ENTCS 2007»
13 years 5 months ago
A Duality in Proof Systems for Recursive Type Equality and for Bisimulation Equivalence on Cyclic Term Graphs
This paper is concerned with a proof-theoretic observation about two kinds of proof systems for regular cyclic objects. It is presented for the case of two formal systems that are...
Clemens Grabmayer
IGPL
2011
13 years 12 days ago
Existentially equivalent cyclic ultrametric spaces and cyclically valued groups
The notions of ultrametric distances and cyclic valuations appear when the set of values of the distance map is a cyclically ordered set. These structures can be described as subsp...
Gérard Leloup
DM
2010
108views more  DM 2010»
13 years 5 months ago
Internally 4-connected binary matroids with cyclically sequential orderings
We characterize all internally 4-connected binary matroids M with the property that the ground set of M can be ordered (e0, . . . , en-1) in such a way that {ei, . . . , ei+t} is 4...
Jeremy Aikin, Carolyn Chun, Rhiannon Hall, Dillon ...
COMBINATORICS
1998
103views more  COMBINATORICS 1998»
13 years 5 months ago
Recognizing Circulant Graphs of Prime Order in Polynomial Time
A circulant graph G of order n is a Cayley graph over the cyclic group Zn. Equivalently, G is circulant iff its vertices can be ordered such that the corresponding adjacency matr...
Mikhail E. Muzychuk, Gottfried Tinhofer