1 citations · 1 across the 5 of their papers we have counts for
Showing cs.LOShow all
3 papers · 1 filter
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.LO2007
The Variable Hierarchy for the Games mu-Calculus
Walid Belkhir, Luigi Santocanale
Parity games are combinatorial representations of closed Boolean mu-terms. By adding to them draw positions, they have been organized by Arnold and one of the authors into a mu-cal…
cs.LO2007★ 1 cited
Undirected Graphs of Entanglement Two
Walid Belkhir, Luigi Santocanale
Entanglement is a complexity measure of directed graphs that origins in fixed point theory. This measure has shown its use in designing efficient algorithms to verify logical prope…