2473 search results - page 20 / 495 » The Logic of Communication Graphs |
ENTCS
2007
13 years 7 months ago
2007
We define a rewrite strategy for a class of non-confluent constructor-based term graph rewriting systems and discuss its correctness. Our strategy and its extension to narrowing...
INFOCOM
2009
IEEE
14 years 2 months ago
2009
IEEE
NGC
2006
Springer
13 years 7 months ago
2006
Springer
WILF
2007
Springer
14 years 1 months ago
2007
Springer
CSL
2006
Springer
13 years 11 months ago
2006
Springer
Rational graphs are a family of graphs defined using labelled rational transducers. Unlike automatic graphs (defined using synchronized transducers) the first order theory of these...