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...
Open Access
Editorial
Formal aspects of computing, 2021-12, Vol.33 (6), p.923-924
2021
Volltextzugriff (PDF)

Formal aspects of computing, 2021-06, Vol.33 (3), p.437-455
2021
Volltextzugriff (PDF)

Formal aspects of computing, 2023-03, Vol.35 (1), p.1-2, Article 1
2023
Volltextzugriff (PDF)

Editorial
Formal aspects of computing, 2021-01, Vol.33 (6), p.923-924
2021
Volltextzugriff (PDF)

Editorial
Formal aspects of computing, 2021, Vol.33 (6), p.923-924
2021
Volltextzugriff (PDF)

Formal aspects of computing, 2021-08, Vol.33 (4-5), p.763-802
2021
Volltextzugriff (PDF)

Formal aspects of computing, 2008, Vol.20 (1), p.5-19
2008
Volltextzugriff (PDF)

Open Access
A UTP semantics for Circus
Formal aspects of computing, 2009-02, Vol.21 (1-2), p.3-32
2009
Volltextzugriff (PDF)

Editorial
Formal aspects of computing, 2015-11, Vol.27 (5-6), p.751-752
2015
Volltextzugriff (PDF)

Editorial
Formal aspects of computing, 2015-11, Vol.27 (5-6), p.751
2015
Volltextzugriff (PDF)

Open Access
Editorial
Formal aspects of computing, 2021-06, Vol.33 (3), p.299-300
2021
Volltextzugriff (PDF)

Editorial
Formal aspects of computing, 2021, Vol.33 (3), p.299-300
2021
Volltextzugriff (PDF)

Editorial
Formal aspects of computing, 2021-01, Vol.33 (3), p.299-300
2021
Volltextzugriff (PDF)

Editorial
Formal aspects of computing, 2012-05, Vol.24 (3), p.303-303
2012
Volltextzugriff (PDF)

Editorial
Formal aspects of computing, 2012-05, Vol.24 (3), p.303
2012
Volltextzugriff (PDF)

Formal aspects of computing, 2006-09, Vol.18 (3), p.288-307
2006
Volltextzugriff (PDF)

Editorial
Formal aspects of computing, 2012, Vol.24 (3), p.303-303
2012
Volltextzugriff (PDF)

Editorial
Formal aspects of computing, 2015, Vol.27 (5-6), p.751-752
2015
Volltextzugriff (PDF)

Open Access
Amílcar Sernadas
Formal aspects of computing, 2017-03, Vol.29 (2), p.173-173
2017
Volltextzugriff (PDF)

Editorial
Formal aspects of computing, 2017-01, Vol.29 (1), p.1-2
2017
Volltextzugriff (PDF)

Editorial
Formal aspects of computing, 2017-01, Vol.29 (1), p.1
2017
Volltextzugriff (PDF)

Editorial
Formal aspects of computing, 2017, Vol.29 (1), p.1-2
2017
Volltextzugriff (PDF)

Formal aspects of computing, 2013, Vol.25 (1), p.37-57
2013
Volltextzugriff (PDF)

Open Access
Unifying theories in ProofPower-Z
Formal aspects of computing, 2013, Vol.25 (1), p.133-158
2013
Volltextzugriff (PDF)

Open Access
Mechanising Mondex with Z/Eves
Formal aspects of computing, 2008, Vol.20 (1), p.117-139
2008
Volltextzugriff (PDF)