![Logic in computer science / Jötnar / Logi / Modal μ-calculus / Logic / CTL* / Mathematical logic / Temporal logic / Modal logic Logic in computer science / Jötnar / Logi / Modal μ-calculus / Logic / CTL* / Mathematical logic / Temporal logic / Modal logic](https://www.pdfsearch.io/img/c2408a2bbba5a28751a2f6c5184c21a6.jpg)
| Document Date: 2009-05-20 09:48:03 Open Document File Size: 381,71 KBShare Result on Facebook
IndustryTerm proof systems / urrent systems / transition systems / automata theoreti algorithms / equation systems / / Person Clarke / Yde Venema / Emerson / Julian Brad / Johan van Benthem / Rabin / Dexter Kozen / Colin Stirling / / Position Walker / king / / Technology automata theoreti algorithms / king algorithms / /
SocialTag |