23 search results - page 2 / 5 » csr 2009 |
CSR
2009
Springer
14 years 2 months ago
2009
Springer
CSR
2009
Springer
14 years 2 months ago
2009
Springer
CSR
2009
Springer
14 years 2 months ago
2009
Springer
CSR
2009
Springer
13 years 11 months ago
2009
Springer
Abstract. We survey classical and selected recent work on the reachability problem over finitely presented infinite graphs. The problem has a history of 100 years, and it is centra...
CSR
2009
Springer
14 years 2 months ago
2009
Springer
A homomorphism from a graph G to a graph H (in this paper, both simple, undirected graphs) is a mapping f : V (G) → V (H) such that if uv ∈ E(G) then f(u)f(v) ∈ E(H). The pro...