Related Tags
homomorphism × 15graph-theory × 8
graph-algorithms × 2
co.combinatorics × 2
automata-theory × 2
graph-isomorphism × 2
regular-language × 2
dfa × 2
cc.complexity-theory × 1
ds.algorithms × 1
reference-request × 1
np-hardness × 1
lo.logic × 1
type-theory × 1
time-complexity × 1
counting-complexity × 1
turing-machines × 1
planar-graphs × 1
dependent-type × 1
context-free × 1
parameterized-complexity × 1
treewidth × 1
fixed-parameter-tractable × 1
coq × 1
proof-assistants × 1