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...
Open Access
    Datensatz exportieren als...
  • BibTeX
A Comprehensive Framework for Saturation Theorem Proving
Journal of automated reasoning, 2022-11, Vol.66 (4), p.499-539
2022
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Formalizing Bachmair and Ganzinger’s Ordered Resolution Prover
Journal of automated reasoning, 2020-10, Vol.64 (7), p.1169-1195
2020
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Superposition with Lambdas
Journal of automated reasoning, 2021-10, Vol.65 (7), p.893-940
2021
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Beagle – A Hierarchic Superposition Theorem Prover
Automated Deduction - CADE-25, 2015, p.367-377
2015
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Superposition with Lambdas
Automated Deduction – CADE 27, 2019, p.55-73
2019
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
A Comprehensive Framework for Saturation Theorem Proving
Automated Reasoning, 2020, Vol.12166, p.316-334
2020
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
A Combined Superposition and Model Evolution Calculus
Journal of automated reasoning, 2011-08, Vol.47 (2), p.191-227
2011
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Superposition for Lambda-Free Higher-Order Logic
Automated Reasoning, 2018, Vol.10900, p.28-46
2018
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Modal Tableau Systems with Blocking and Congruence Closure
Automated Reasoning with Analytic Tableaux and Related Methods, 2015, p.38-53
2015
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Formalizing Bachmair and Ganzinger's Ordered Resolution Prover
Automated Reasoning, 2018, Vol.10900, p.89-107
2018
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Comparing Instance Generation Methods for Automated Reasoning
Journal of automated reasoning, 2007-04, Vol.38 (1-3), p.57-78
2007
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
A Transfinite Knuth--Bendix Order for Lambda-Free Higher-Order Terms
Automated Deduction - CADE 26, 2017, Vol.10395, p.432-453
2017
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Superposition and Model Evolution Combined
Automated Deduction – CADE-22, 2009, p.17-34
2009
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Comparing Instance Generation Methods for Automated Reasoning
Automated Reasoning with Analytic Tableaux and Related Methods, 2005, p.153-168
2005
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
An Extension of the Knuth-Bendix Ordering with LPO-Like Properties
Logic for Programming, Artificial Intelligence, and Reasoning, 2007, Vol.4790, p.348-362
2007
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Superposition Modulo a Shostak Theory
Automated Deduction – CADE-19, 2003, p.182-196
2003
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Modular Proof Systems for Partial Functions with Weak Equality
Automated Reasoning, 2004, Vol.3097, p.168-182
2004
Volltextzugriff (PDF)
1 – 17 von 17
Suche als RSS-Feed
Aktive Filter
ThemaComputer Science, Artificial Intelligence
Suchergebnisse filtern
Filter anzeigen