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...
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...
Physics of plasmas, 2015-10, Vol.22 (10)
2015
Volltextzugriff (PDF)


Mathematical structures in computer science, 2019-06, Vol.29 (6), p.828-871
2019
Volltextzugriff (PDF)

Journal of physics. Conference series, 2016-03, Vol.688 (1), p.12008
2016
Volltextzugriff (PDF)


Mathematical structures in computer science, 2005-12, Vol.15 (6), p.1033-1088
2005
Volltextzugriff (PDF)

Physical review letters, 2007-08, Vol.99 (6), p.065004-065004, Article 065004
2007
Volltextzugriff (PDF)







Journal of logic and computation, 2007-08, Vol.17 (4), p.687-726
2007
Volltextzugriff (PDF)

Theoretical computer science, 2000-02, Vol.232 (1-2), p.231-272
2000
Volltextzugriff (PDF)

Physics of plasmas, 2004-10, Vol.11 (10), p.4641-4648
2004
Volltextzugriff (PDF)


Open Access
The Higher-Order Prover Leo-III
Automated Reasoning, 2018, Vol.10900, p.108-116
2018
Volltextzugriff (PDF)

9th International Joint Conference on Automated Reasoning, IJCAR 2018 Held as Part of the Federated Logic Conference, FloC 2018, Oxford, United Kingdom, 2018, Vol.10900, p.646-662
2018
Volltextzugriff (PDF)

Journal of logic and computation, 2003-10, Vol.13 (5), p.707-753
2003
Volltextzugriff (PDF)


2010 25th Annual IEEE Symposium on Logic in Computer Science, 2010, p.140-149
2010
Volltextzugriff (PDF)



Extended Resolution Simulates DRAT
Automated Reasoning, 2018, Vol.10900, p.516-531
2018
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigen
Erscheinungsjahr
n.n
n.n