Sciweavers

193 search results - page 7 / 39
» Duality in Infinite Graphs
Sort
View
ACTA
2005
96views more  ACTA 2005»
13 years 7 months ago
Families of automata characterizing context-sensitive languages
In the hierarchy of infinite graph families, rational graphs are defined by rational transducers with labelled final states. This paper proves that their traces are precisely conte...
Christophe Morvan, Chloe Rispal
COMBINATORICA
2008
97views more  COMBINATORICA 2008»
13 years 7 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 7 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
CORR
2007
Springer
88views Education» more  CORR 2007»
13 years 7 months ago
The Parallel-Sequential Duality : Matrices and Graphs
Abstract. Usually, mathematical objects have highly parallel interpretations. In this paper, we consider them as sequential constructors of other objects. In particular, we prove t...
Serge Burckel