Name
Title | Citations | PageRank | Year |
|---|---|---|---|
| Parallel Computational Tree Logic. | 0 | 0.34 | 2015 |
| Universal covers, color refinement, and two-variable logic with counting quantifiers: Lower bounds for the depth. | 2 | 0.38 | 2014 |
| Optimized Temporal Logic Compilation | 3 | 0.50 | 2003 |