24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010, Proceedings Anuj Dawar, Helmut Veith. Graded Computation Tree Logic with Binary Codinga Alessandro Bianco, Fabio Mogavero, and Aniello Murano UniversitAi ... As for the anon-gradeda case, it has been shown that the satisfiability problem for GCTL and the GI¼- CALCULUSanbsp;...

Title | : | Computer Science Logic |

Author | : | Anuj Dawar, Helmut Veith |

Publisher | : | Springer - 2010-08-14 |

Continue