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...
Journal of automated reasoning, 2020, Vol.64 (1), p.53-72
2020
Volltextzugriff (PDF)

The seventeen provers of the world
Lecture notes in computer science, 2006, Vol.3600
2006
Volltextzugriff (PDF)



Open Access
Equilogical spaces
Theoretical computer science, 2004-05, Vol.315 (1), p.35-59
2004
Volltextzugriff (PDF)

Journal of applied logic, 2014-09, Vol.12 (3), p.369-376
2014
Volltextzugriff (PDF)


Journal of applied logic, 2014-09, Vol.12 (3), p.369-376
2014
Volltextzugriff (PDF)


Mathematical structures in computer science, 2002-06, Vol.12 (3), p.319-334
2002
Volltextzugriff (PDF)


Theoretical computer science, 2014-08, Vol.546, p.17-29
2014
Volltextzugriff (PDF)

Relational and Algebraic Methods in Computer Science, 2020, Vol.12062, p.302-317
2020
Volltextzugriff (PDF)


A new category for semantics
Lecture notes in computer science, 2001, p.1-2
2001
Volltextzugriff (PDF)


Theoretical computer science, 1993, Vol.121 (1), p.411-440
1993
Volltextzugriff (PDF)

Selected Papers
1, 1982
Volltextzugriff (PDF)


Selected Papers
1, 1982
Volltextzugriff (PDF)

Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018, p.669-678
2018
Volltextzugriff (PDF)


Symbolic computation and teaching
Artificial Intelligence and Symbolic Mathematical Computation, 2005, p.1-20
2005
Volltextzugriff (PDF)

Theoretical Aspects of Computer Software, 2005, p.771-771
2005
Volltextzugriff (PDF)

Automated Deduction — Cade-13, 2005, p.245-245
2005
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigen
Erscheinungsjahr
n.n
n.n