3 papers
cs.DM2009
Closure Under Minors of Undirected Entanglement
Walid Belkhir
Entanglement is a digraph complexity measure that origins in fixed-point theory. Its purpose is to count the nested depth of cycles in digraphs. In this paper we prove that the cla…
cs.LO2009
The Star Height Hierarchy Vs. The Variable Hierarchy
Walid Belkhir
The star height hierarchy (resp. the variable hierarchy) results in classifying -terms into classes according to the nested depth of fixed point operators (resp. to the number o…
cs.GT2009
Undirected Graphs of Entanglement 3
Walid Belkhir
Entanglement is a complexity measure of digraphs that origins in fixed-point logics. Its combinatorial purpose is to measure the nested depth of cycles in digraphs. We address the…