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...
International journal on software tools for technology transfer, 2020-08, Vol.22 (4), p.497-509
2020
Volltextzugriff (PDF)

International journal on software tools for technology transfer, 2020-08, Vol.22 (4), p.511-522
2020
Volltextzugriff (PDF)

Electronic proceedings in theoretical computer science, 2016-03, Vol.205 (Proc. FESCA 2016), p.59-68
2016
Volltextzugriff (PDF)

2015 41st Euromicro Conference on Software Engineering and Advanced Applications, 2015, p.151-158
2015
Volltextzugriff (PDF)

2015 41st Euromicro Conference on Software Engineering and Advanced Applications, 2015, p.241-244
2015
Volltextzugriff (PDF)

Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems, p.172-185
Volltextzugriff (PDF)


Fundamentals of Computation Theory, 2005, p.394-399
2005
Volltextzugriff (PDF)

Discrete mathematics, 1992-10, Vol.108 (1-3), p.211-216
1992
Volltextzugriff (PDF)

Czechoslovak mathematical journal, 1982, Vol.32 (1), p.116-121,122-128
1982
Volltextzugriff (PDF)

Open Access
A new proof of the Freyd's theorem
Journal of pure and applied algebra, 1976, Vol.8 (1), p.1-4
1976
Volltextzugriff (PDF)