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|