Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Sortiert nach
Einfacher Volltextzugriff von (fast) überall
Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...
    Datensatz exportieren als...
  • BibTeX
The Seventh QBF Solvers Evaluation (QBFEVAL’10)
Theory and Applications of Satisfiability Testing – SAT 2010, p.237-250
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Encoding Nested Boolean Functions as Quantified Boolean Formulas
Journal on satisfiability, Boolean modeling and computation, 2012-01, Vol.8 (1-2), p.101-116
2012
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Models and quantifier elimination for quantified Horn formulas : Boolean and pseudo-Boolean functions
Discrete applied mathematics, 2008, Vol.156 (10), p.1606-1622
2008
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Models and quantifier elimination for quantified Horn formulas
Discrete Applied Mathematics, 2008-05, Vol.156 (10), p.1606-1622
2008
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
A new 3-CNF transformation by parallel-serial graphs
Information processing letters, 2009-03, Vol.109 (7), p.376-379
2009
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Bounded Universal Expansion for Preprocessing QBF
Theory and Applications of Satisfiability Testing – SAT 2007, p.244-257
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Quantifier Rewriting and Equivalence Models for Quantified Horn Formulas
Lecture notes in computer science, 2005, p.386-392
2005
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Rewriting (Dependency-)Quantified 2-CNF with Arbitrary Free Literals into Existential 2-HORN
Theory and Applications of Satisfiability Testing – SAT 2010, p.58-70
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Resolution and Expressiveness of Subclasses of Quantified Boolean Formulas and Circuits
Theory and Applications of Satisfiability Testing - SAT 2009, p.391-397
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Natural Killer Cells Activated by MHC Class I Low Targets Prime Dendritic Cells to Induce Protective CD8 T Cell Responses
Immunity (Cambridge, Mass.), 2003-10, Vol.19 (4), p.561-569
2003
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Natural killer cells activated by MHC class I(low) targets prime dendritic cells to induce protective CD8 T cell responses
Immunity (Cambridge, Mass.), 2003-10, Vol.19 (4), p.561-569
2003
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
The Glycoprotein gp48 of Murine Cytomegalovirus: Proteasome-Dependent Cytosolic Dislocation and Degradation
The Journal of biological chemistry, 2002-01, Vol.277 (3), p.2216-2224
2002
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
The Glycoprotein gp48 of Murine Cytomegalovirus
The Journal of biological chemistry, 2002-01, Vol.277 (3), p.2216-2224
2002
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
The glycoprotein gp48 of murine cytomegalovirusL proteasome-dependent cytosolic dislocation and degradation
The Journal of biological chemistry, 2002-01, Vol.277 (3), p.2216-2224
2002
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Natural Killer Cells Activated by MHC Class ILow Targets Prime Dendritic Cells to Induce Protective CD8 T Cell Responses
Immunity (Cambridge, Mass.), 2003-10, Vol.19 (4), p.561-569
2003
Volltextzugriff (PDF)
1 – 15 von 15
Suche als RSS-Feed
Suchergebnisse filtern
Filter anzeigen