Search the dblp DataBase

Publications of Author

1. Walid Belkhir, Luigi Santocanale
   Undirected Graphs of Entanglement Two [Citation Graph (0, 0)][DBLP]
   CoRR, 2007, v:0, n:, pp:- [Journal]
   
2. Walid Belkhir, Luigi Santocanale
   The Variable Hierarchy for the Games mu-Calculus [Citation Graph (0, 0)][DBLP]
   CoRR, 2007, v:0, n:, pp:- [Journal]
   
3. 
   Undirected Graphs of Entanglement 2. [Citation Graph (, )][DBLP]
   
   
4. 
   The Variable Hierarchy for the Lattice µ-Calculus. [Citation Graph (, )][DBLP]
   
   
5. 
   The variable hierarchy for the games µ-calculus. [Citation Graph (, )][DBLP]
   
   
6. 
   Undirected Graphs of Entanglement 3 [Citation Graph (, )][DBLP]
   
   
7. 
   The Star Height Hierarchy Vs. The Variable Hierarchy [Citation Graph (, )][DBLP]
   
   
8. 
   Closure Under Minors of Undirected Entanglement [Citation Graph (, )][DBLP]
   
   
9. 
   From Causal Semantics To Duration Timed Models [Citation Graph (, )][DBLP]