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




Formal aspects of computing, 2012-07, Vol.24 (4-6), p.459-476
2012
Link zum Volltext

Relational and Algebraic Methods in Computer Science, 2021, Vol.13027, p.325-343
2021
Link zum Volltext

Science of computer programming, 2010-11, Vol.75 (11), p.1022-1047
2010
Link zum Volltext



Open Access
An algebra of product families
Software and systems modeling, 2011-05, Vol.10 (2), p.161-182
2011
Link zum Volltext

Open Access
Modal algebra and Petri nets
Acta informatica, 2015-04, Vol.52 (2-3), p.109-132
2015
Link zum Volltext

Open Access
Fixing Zeno gaps
Theoretical computer science, 2011-06, Vol.412 (28), p.3303-3322
2011
Link zum Volltext


Journal of logical and algebraic methods in programming, 2019-04, Vol.104, p.274-302
2019
Link zum Volltext






Open Access
Kleene getting lazy
Science of computer programming, 2007-03, Vol.65 (2), p.195-214
2007
Link zum Volltext

Open Access
Modal Knowledge and Game Semirings
Computer journal, 2013-01, Vol.56 (1), p.53-69
2013
Link zum Volltext

Journal of logical and algebraic methods in programming, 2016-06, Vol.85 (4), p.617-636
2016
Link zum Volltext

Relational and Algebraic Methods in Computer Science, 2020, Vol.12062, p.152-168
2020
Link zum Volltext

Theoretical computer science, 2006-02, Vol.351 (2), p.221-239
2006
Link zum Volltext

Suchergebnisse filtern
Filter anzeigen
Publikationsform
Erscheinungsjahr
n.n
n.n