- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Bibliographic citation
-
In: Meier, Arne; Mundhenk, M.; Thomas, Michael; Vollmer, Heribert: The Complexity of Satisfiability for Fragments of CTL and CTL⋆. In: Electronic Notes in Theoretical Computer Science 223 (2008), Nr. C, S. 201-213. DOI: https://doi.org/10.1016/j.entcs.2008.12.040
- Event
-
Veröffentlichung
- (where)
-
Hannover
- (who)
-
Gottfried Wilhelm Leibniz Universität Hannover
- (when)
-
2008
- Event
-
Veröffentlichung
- (where)
-
Hannover
- (who)
-
Technische Informationsbibliothek (TIB)
- (when)
-
2008
- Creator
- DOI
-
10.15488/1518
- URN
-
urn:nbn:de:101:1-2020071506184862062511
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 10:57 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Meier, Arne
- Mundhenk, Martin
- Thomas, Michael
- Vollmer, Heribert
- Gottfried Wilhelm Leibniz Universität Hannover
- Technische Informationsbibliothek (TIB)
Time of origin
- 2008
Other Objects (12)
"cTL"
HIV CTL escape: at what cost?
Analoge Spiegelreflexkamera PORST reflex CT-L
MMP-7 inhibits CTL – tumor cell interaction
PI3Kδ is indispensable for CTL-mediated cytotoxicity
Symbolic checking of Fuzzy CTL on Fuzzy Program Graph
Switching and emergence of CTL epitopes in HIV-1 infection
CTL, a description logic with expressive concrete domains
Model checking CTL is almost always inherently sequential
Proof complexity of Satisfiability Modulo Theories
P18-01. Exquisite specificity of CTL response to the M184V mutation
High glucose enhances antigen-independent CTL killing via TRAIL
"cTL"
HIV CTL escape: at what cost?
Analoge Spiegelreflexkamera PORST reflex CT-L
MMP-7 inhibits CTL – tumor cell interaction
PI3Kδ is indispensable for CTL-mediated cytotoxicity
Symbolic checking of Fuzzy CTL on Fuzzy Program Graph
Switching and emergence of CTL epitopes in HIV-1 infection
CTL, a description logic with expressive concrete domains
Model checking CTL is almost always inherently sequential
Proof complexity of Satisfiability Modulo Theories
P18-01. Exquisite specificity of CTL response to the M184V mutation
High glucose enhances antigen-independent CTL killing via TRAIL
"cTL"
HIV CTL escape: at what cost?
Analoge Spiegelreflexkamera PORST reflex CT-L
MMP-7 inhibits CTL – tumor cell interaction
PI3Kδ is indispensable for CTL-mediated cytotoxicity
Symbolic checking of Fuzzy CTL on Fuzzy Program Graph
Switching and emergence of CTL epitopes in HIV-1 infection
CTL, a description logic with expressive concrete domains
Model checking CTL is almost always inherently sequential
Proof complexity of Satisfiability Modulo Theories
P18-01. Exquisite specificity of CTL response to the M184V mutation