129 search results - page 1 / 26 » Cyclic Haar graphs |
DASFAA
2011
IEEE
12 years 8 months ago
2011
IEEE
Abstract. Graph-structured databases have numerous recent applications including the Semantic Web, biological databases and XML, among many others. In this paper, we study the main...
DM
2002
13 years 4 months ago
2002
We disprove a conjecture of Bultena and Ruskey [1], that all trees which are cyclic graphs of cyclic Gray codes have diameter 2 or 4, by producing codes whose cyclic graphs are tre...
COMBINATORICA
2008
13 years 4 months ago
2008
Cyclic orders of graphs and their equivalence have been promoted by Bessy and Thomass
CAV
2012
Springer
11 years 7 months ago
2012
Springer
Abstract. In earlier work, we developed a technique to prove termination of Java programs automatically: first, Java programs are automatically transformed to term rewrite systems...