Back to Results
First PageMeta Content
Mathematical logic / Logic in computer science / Metalogic / CTL* / Computation tree logic / Model theory / Linear temporal logic / Well-formed formula / Kripke semantics / Logic / Temporal logic / Mathematics


Document Date: 2011-03-21 04:39:41

Open Document

File Size: 428,09 KB

Share Result on Facebook

/

Facility

Free University of Bolzano Room / /

Organization

Alessandro Artale Faculty of Computer Science / Free University of Bolzano Room / /

Person

Alessandro Artale / /

/

ProgrammingLanguage

L / /

URL

http /

SocialTag