Extended Comptation Tree Logic (Extended Abstract)
Autore principale: | Lange, M |
---|---|
Natura: | Conference item |
Pubblicazione: |
2010
|
Documenti analoghi
Documenti analoghi
-
An Epistemic Foundation for Authentication Logics (Extended Abstract)
di: Joseph Y. Halpern, et al.
Pubblicazione: (2017-07-01) -
Surface Proofs for Nonsymmetric Linear Logic (Extended Abstract)
di: Lawrence Dunn, et al.
Pubblicazione: (2017-01-01) -
Logic and Topology for Knowledge, Knowability, and Belief - Extended Abstract
di: Adam Bjorndahl, et al.
Pubblicazione: (2017-07-01) -
Random Records and Cuttings in Split Trees: Extended Abstract
di: Cecilia Holmgren
Pubblicazione: (2008-01-01) -
Extended Abstracts
Pubblicazione: (1977-01-01)