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


Theoretical computer science, 2011-09, Vol.412 (38), p.5095-5110
2011
Link zum Volltext

2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2019, p.1-14
2019
Link zum Volltext

Logical methods in computer science, 2022-01, Vol.18, Issue 2
2022
Link zum Volltext

Logical methods in computer science, 2021-01, Vol.17, Issue 3
2021
Link zum Volltext

Congruences of convex algebras
Journal of pure and applied algebra, 2015-08, Vol.219 (8), p.3110-3148
2015
Link zum Volltext

Logical methods in computer science, 2018-01, Vol.14, Issue 4
2018
Link zum Volltext

Logical methods in computer science, 2007-11, Vol.3, Issue 4
2007
Link zum Volltext

Journal of logic and computation, 2010-10, Vol.20 (5), p.1041-1068
2010
Link zum Volltext

Formal Techniques for Distributed Objects, Components, and Systems, 2020, p.208-224
2020
Link zum Volltext

Electronic proceedings in theoretical computer science, 2021-12, Vol.351
2021
Link zum Volltext

Electronic proceedings in theoretical computer science, 2017-07, Vol.250 (Proc. QAPL 2017), p.25-38
2017
Link zum Volltext

Science of computer programming, 2015-03, Vol.100, p.1-1
2015
Link zum Volltext



International journal on software tools for technology transfer, 2023-02, Vol.25 (1), p.75-76
2023
Link zum Volltext


FoSSaCS, 2018, Vol.10803
2018
Link zum Volltext

Journal of logical and algebraic methods in programming, 2016-04, Vol.85 (3), p.367
2016
Link zum Volltext

Lecture Notes in Computer Science, 2018, Vol.11024, p.53-70
2018
Link zum Volltext

Deep Statistical Model Checking
Formal Techniques for Distributed Objects, Components, and Systems, 2020, Vol.12136, p.96-114
2020
Link zum Volltext

Trace semantics via determinization
Journal of computer and system sciences, 2015-08, Vol.81 (5), p.859-879
2015
Link zum Volltext

International journal on software tools for technology transfer, 2013-06, Vol.15 (3), p.189-209
2013
Link zum Volltext

Lecture notes in computer science, 2004, p.1-43
2004
Link zum Volltext
Suchergebnisse filtern
Filter anzeigen
Erscheinungsjahr
n.n
n.n
Neu hinzugefügt