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...
Zur Ergebnisliste
Ergebnis 23 von 314
    Datensatz exportieren als...
  • BibTeX
The Complexity of Homomorphisms and Renamings for Minimal Unsatisfiable Formulas
Annals of mathematics and artificial intelligence, 2005-01, Vol.43 (1-4), p.113-127
2005

Details

Autor(en) / Beteiligte
Titel
The Complexity of Homomorphisms and Renamings for Minimal Unsatisfiable Formulas
Ist Teil von
  • Annals of mathematics and artificial intelligence, 2005-01, Vol.43 (1-4), p.113-127
Erscheinungsjahr
2005
Link zum Volltext
Quelle
Alma/SFX Local Collection
Sprache
Englisch
Identifikatoren
ISSN: 1012-2443
eISSN: 1573-7470
DOI: 10.1007/s10472-004-9422-3
Titel-ID: cdi_crossref_primary_10_1007_s10472_004_9422_3
Format
–

Weiterführende Literatur

Empfehlungen zum selben Thema automatisch vorgeschlagen von bX