38 search results - page 2 / 8 » gg 2008 |
GG
2008
Springer
13 years 11 months ago
2008
Springer
GG
2008
Springer
13 years 11 months ago
2008
Springer
GG
2008
Springer
13 years 11 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 9 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 11 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...