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
    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
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Computational complexity of quantified Boolean formulas with fixed maximal deficiency
Theoretical computer science, 2008-11, Vol.407 (1), p.448-457
2008
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Dependency Quantified Horn Formulas: Models and Complexity
Lecture notes in computer science, 2006, p.198-211
2006
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Existence of simple propositional formulas
Information processing letters, 1990-11, Vol.36 (4), p.177-182
1990
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Minimal False Quantified Boolean Formulas
Lecture notes in computer science, 2006, p.339-352
2006
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
On the structure of some classes of minimal unsatisfiable formulas
Discrete Applied Mathematics, 2003-08, Vol.130 (2), p.185-207
2003
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
On generalized Horn formulas and k-resolution
Theoretical computer science, 1993-08, Vol.116 (2), p.405-413
1993
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Optimizing propositional calculus formulas with regard to questions of deducibility
Information and computation, 1989, Vol.80 (1), p.18-43
1989
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
On models for quantified Boolean formulas
Lecture notes in computer science, 2004, p.18-32
2004
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
On subclasses of minimal unsatisfiable formulas: Special Issue: Boolean Functions and Related Problems
Discrete applied mathematics, 2000, Vol.107 (1-3), p.83-98
2000
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Model-Equivalent Reductions
Lecture notes in computer science, 2005, p.355-370
2005
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
On Boolean models for Quantified Boolean Horn Formulas
Lecture notes in computer science, 2004, p.93-104
2004
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Read-once unit resolution
Lecture notes in computer science, 2004, p.356-369
2004
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Quantifier Rewriting and Equivalence Models for Quantified Horn Formulas
Lecture notes in computer science, 2005, p.386-392
2005
Link zum Volltext
Verfügbarkeit prüfen
    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
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Equivalence Models for Quantified Boolean Formulas
Lecture notes in computer science, 2005, p.224-234
2005
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
An Upper Bound for Minimal Resolution Refutations
Computer Science Logic, 1999, p.171-178
1999
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Projections of vector addition system reachability sets are semilinear
Theoretical computer science, 1989-05, Vol.64 (3), p.343-350
1989
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
CSL'89: 3rd workshop on computer science logic: [selected papers], Kaiserslautern, FRG, October 2-6, 1989
Lecture notes in computer science, 1990, Vol.440
1990
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Logic Versus Approximation: Essays Dedicated to Michael M. Richter on the Occasion of His 65th Birthday
Lecture notes in computer science, 2004, Vol.3075
2004., 2004
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Relating state-based and process-based concurrency through linear logic (full-version)
Information and computation, 2009-10, Vol.207 (10), p.1044-1077
2009
Link zum Volltext
Verfügbarkeit prüfen
1 – 21 von 21
Suche als RSS-Feed
Aktive Filter
ThemaComputer Science; Control Theory; Systems
Suchergebnisse filtern
Filter anzeigen