<--- Back to Details
First PageDocument 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
Date: 2011-03-21 04:39:41
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

Add to Reading List

Source URL: www.inf.unibz.it

Download Document from Source Website

File Size: 428,09 KB

Share Document on Facebook

Similar Documents

Temporal logic / Logic in computer science / Computation tree logic / Linear temporal logic / CTL*

* CTL synthesis via LTL synthesis

DocID: 1xV1o - View Document

Theoretical computer science / Mathematics / Logic in computer science / Mathematical analysis / Temporal logic / Generalizations of the derivative / Computation tree logic / Boolean satisfiability problem / Symbol / Model theory / 120-cell / Distribution

The Satisfiability Problem for Probabilistic CTL Tom´asˇ Br´azdil Vojtˇech Forejt Jan Kˇret´ınsk´y

DocID: 1xTLe - View Document

PDF Document

DocID: 1xGFc - View Document

PDF Document

DocID: 1xqcJ - View Document

PDF Document

DocID: 1x1a4 - View Document