- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Erschienen in
-
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
- Ereignis
-
Veröffentlichung
- (wo)
-
Hannover
- (wer)
-
Gottfried Wilhelm Leibniz Universität Hannover
- (wann)
-
2008
- Ereignis
-
Veröffentlichung
- (wo)
-
Hannover
- (wer)
-
Technische Informationsbibliothek (TIB)
- (wann)
-
2008
- Urheber
- DOI
-
10.15488/1518
- URN
-
urn:nbn:de:101:1-2020071506184862062511
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
14.08.2025, 10:57 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Meier, Arne
- Mundhenk, Martin
- Thomas, Michael
- Vollmer, Heribert
- Gottfried Wilhelm Leibniz Universität Hannover
- Technische Informationsbibliothek (TIB)
Entstanden
- 2008
Ähnliche Objekte (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