|
Search the dblp DataBase
Walid Belkhir:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Walid Belkhir, Luigi Santocanale
Undirected Graphs of Entanglement Two [Citation Graph (0, 0)][DBLP] CoRR, 2007, v:0, n:, pp:- [Journal]
- Walid Belkhir, Luigi Santocanale
The Variable Hierarchy for the Games mu-Calculus [Citation Graph (0, 0)][DBLP] CoRR, 2007, v:0, n:, pp:- [Journal]
Undirected Graphs of Entanglement 2. [Citation Graph (, )][DBLP]
The Variable Hierarchy for the Lattice µ-Calculus. [Citation Graph (, )][DBLP]
The variable hierarchy for the games µ-calculus. [Citation Graph (, )][DBLP]
Undirected Graphs of Entanglement 3 [Citation Graph (, )][DBLP]
The Star Height Hierarchy Vs. The Variable Hierarchy [Citation Graph (, )][DBLP]
Closure Under Minors of Undirected Entanglement [Citation Graph (, )][DBLP]
From Causal Semantics To Duration Timed Models [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.001secs
|