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...
IET quantum communication, 2023-09, Vol.4 (3), p.103-111
2023
Link zum Volltext

Scientific annals of computer science, 2019-01, Vol.19 (2), p.141-184
2019
Link zum Volltext

Electronic Government, p.117-127
Link zum Volltext



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

Electronic proceedings in theoretical computer science, 2011-06, Vol.55 (Proc. Refine 2011), p.53-64
2011
Link zum Volltext

Computer languages, systems & structures, 2015-12, Vol.44, p.218-237
2015
Link zum Volltext

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

Government information quarterly, 2020-07, Vol.37 (3), p.101493, Article 101493
2020
Link zum Volltext

Theoretical computer science, 2018-10, Vol.744, p.113-142, Article 113
2018
Link zum Volltext

Theoretical computer science, 2018-10, Vol.744, p.78-96
2018
Link zum Volltext

Open Access
Paraconsistent Transition Systems
Electronic proceedings in theoretical computer science, 2023, Vol.376, p.3-15
2023
Link zum Volltext

Logical methods in computer science, 2014-01, Vol.10, Issue 1
2014
Link zum Volltext

Electronic proceedings in theoretical computer science, 2013-05, Vol.115 (Proc. Refine 2013), p.84-98
2013
Link zum Volltext


Science of computer programming, 2016-12, Vol.132, p.50-76
2016
Link zum Volltext

Theoretical computer science, 2006-11, Vol.365 (1), p.2-22
2006
Link zum Volltext

Science of computer programming, 2015-10, Vol.110, p.78-103
2015
Link zum Volltext

2021 International Symposium on Theoretical Aspects of Software Engineering (TASE), 2021, p.175-182
2021
Link zum Volltext

International journal of distributed sensor networks, 2015-01, Vol.2015 (7), p.176761
2015
Link zum Volltext

Open Access
Hierarchical Hybrid Logic
Electronic notes in theoretical computer science, 2018-10, Vol.338, p.167-184
2018
Link zum Volltext

Lecture notes in computer science, 2005, p.469-484
1ère éd, 2005
Link zum Volltext

Open Access
Proof theory for hybrid(ised) logics
Science of computer programming, 2016-09, Vol.126, p.73-93
2016
Link zum Volltext

Suchergebnisse filtern
Filter anzeigen
Erscheinungsjahr
n.n
n.n