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...

Quantum (Vienna, Austria), 2024-02, Vol.8, p.1242, Article 1242
2024
Volltextzugriff (PDF)


Open Access
Refinement in hybridised institutions
Formal aspects of computing, 2015-03, Vol.27 (2), p.375-395
2015
Volltextzugriff (PDF)

Computer languages, systems & structures, 2015-12, Vol.44, p.218-237
2015
Volltextzugriff (PDF)

Electronic proceedings in theoretical computer science, 2016-06, Vol.209 (Proc. Refine 2015), p.40-56
2016
Volltextzugriff (PDF)

Theoretical computer science, 2018-10, Vol.744, p.78-96
2018
Volltextzugriff (PDF)

Open Access
Paraconsistent Transition Systems
Electronic proceedings in theoretical computer science, 2023-03, Vol.376, p.3-15
2023
Volltextzugriff (PDF)

Theoretical computer science, 2018-10, Vol.744, p.113-142, Article 113
2018
Volltextzugriff (PDF)

Logical methods in computer science, 2014-01, Vol.10, Issue 1
2014
Volltextzugriff (PDF)

Quantum (Vienna, Austria), 2024-04, Vol.8, p.1312, Article 1312
2024
Volltextzugriff (PDF)

Science of computer programming, 2016-12, Vol.132, p.50-76
2016
Volltextzugriff (PDF)

IET quantum communication, 2023-09, Vol.4 (3), p.103-111
2023
Volltextzugriff (PDF)

Theoretical computer science, 2006-11, Vol.365 (1), p.2-22
2006
Volltextzugriff (PDF)

Science of computer programming, 2015-10, Vol.110, p.78-103
2015
Volltextzugriff (PDF)

Scientific annals of computer science, 2019-01, Vol.19 (2), p.141-184
2019
Volltextzugriff (PDF)

Lecture notes in computer science, 2005, Vol.3722, p.469-484
1ère éd, 2005
Volltextzugriff (PDF)

Formal Methods: Foundations and Applications, 2017, Vol.Springer Lecture Notes Computer Science (10623), p.161-178
2017
Volltextzugriff (PDF)

Journal of logic, language, and information, 2014, Vol.23 (1), p.31-52
2014
Volltextzugriff (PDF)

Formal Methods: Foundations and Applications, 2017, Vol.10623, p.271-286
2017
Volltextzugriff (PDF)

Open Access
A logic for robotics?
AIP Conference Proceedings, 2015, Vol.1648 (1)
2015
Volltextzugriff (PDF)

Theoretical computer science, 2006, Vol.351 (2), p.276-294
2006
Volltextzugriff (PDF)



Suchergebnisse filtern
Filter anzeigen
Erscheinungsjahr
n.n
n.n