4 citations · 14 across the 13 of their papers we have counts for
Showing 2007Show all
2 papers · 1 filter
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…