38 search results - page 2 / 8 » gg 2008 |
GG
2008
Springer
13 years 5 months ago
2008
Springer
GG
2008
Springer
13 years 5 months ago
2008
Springer
GG
2008
Springer
13 years 5 months ago
2008
Springer
In this paper we give a category-based characterization of recognizability. A recognizable subset of arrows is defined via a functor into the category of relations on sets, which ...
TCS
2008
13 years 4 months ago
2008
Given a graph G and an integer k, two players alternatively color the edges of G using k colors so that adjacent edges get different colors. The game chromatic index g(G) is the m...
GG
2008
Springer
13 years 5 months ago
2008
Springer
The tautology problem is the problem to prove the validity of statements. In this paper, we present a calculus for this undecidable problem on graphical conditions, prove its sound...