Back to Results
First PageMeta Content
Logic in computer science / Jötnar / Logi / Modal μ-calculus / Logic / CTL* / Mathematical logic / Temporal logic / Modal logic


12 MODAL MU-CALCULI
Add to Reading List

Document Date: 2009-05-20 09:48:03

Open Document

File Size: 381,71 KB

Share 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