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 symbolic computation, 2016-07, Vol.75, p.74-93
2016
Volltextzugriff (PDF)

Journal of symbolic computation, 2012-06, Vol.47 (6), p.610-642
2012
Volltextzugriff (PDF)

Mathematics (Basel), 2019-05, Vol.7 (5), p.441
2019
Volltextzugriff (PDF)


Workshop Proceedings of the 51st International Conference on Parallel Processing, 2022, p.1-10
2022
Volltextzugriff (PDF)

Journal of symbolic computation, 2020-05, Vol.98, p.120-162
2020
Volltextzugriff (PDF)

Journal of symbolic computation, 2019-07, Vol.93, p.34-55
2019
Volltextzugriff (PDF)



Journal of symbolic computation, 2013-02, Vol.49, p.3-26
2013
Volltextzugriff (PDF)


Mathematics in computer science, 2021-06, Vol.15 (2), p.177-188
2021
Volltextzugriff (PDF)

International journal of bifurcation and chaos in applied sciences and engineering, 2013-09, Vol.23 (9), p.1350154
2013
Volltextzugriff (PDF)

Journal of physics. Conference series, 2010-11, Vol.256 (1), p.012009
2010
Volltextzugriff (PDF)

Journal of symbolic computation, 2013-05, Vol.52, p.72-96
2013
Volltextzugriff (PDF)

Journal of symbolic computation, 2011-07, Vol.46 (7), p.841-858
2011
Volltextzugriff (PDF)


International journal of foundations of computer science, 2011-08, Vol.22 (5), p.1035-1055
2011
Volltextzugriff (PDF)

Journal of symbolic computation, 2010, Vol.45 (1), p.124-149
2010
Volltextzugriff (PDF)

Mathematics in computer science, 2012-12, Vol.6 (4), p.457-473
2012
Volltextzugriff (PDF)

Open Access
When does 〈 T 〉 equal sat ( T ) ?
Journal of symbolic computation, 2011-12, Vol.46 (12), p.1291-1305
2011
Volltextzugriff (PDF)

Journal of symbolic computation, 2009-07, Vol.44 (7), p.891-907
2009
Volltextzugriff (PDF)

Open Access
On the Theories of Triangular Sets
Journal of symbolic computation, 1999-07, Vol.28 (1-2), p.105-124
1999
Volltextzugriff (PDF)

Theoretical computer science, 2008-02, Vol.392 (1), p.37-65
2008
Volltextzugriff (PDF)

Suchergebnisse filtern
Filter anzeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Neu hinzugefügt