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


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

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

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

Electronic notes in theoretical computer science, 2011-09, Vol.276, p.291-311
2011
Link zum Volltext

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

Theoretical computer science, 2011-06, Vol.412 (28), p.3072-3089
2011
Link zum Volltext

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



Book review
The Journal of Logic and Algebraic Programming, 2008, Vol.78 (1), p.52
2008
Link zum Volltext

Open Access
Generic Trace Theory
Electronic notes in theoretical computer science, 2006-10, Vol.164 (1), p.47-65
2006
Link zum Volltext

Electronic notes in theoretical computer science, 2005-03, Vol.122, p.211-228
2005
Link zum Volltext

Theoretical computer science, 2004-10, Vol.327 (1), p.3-22
2004
Link zum Volltext

Electronic notes in theoretical computer science, 2003-07, Vol.82 (1), p.57-75
2003
Link zum Volltext
Aktive Filter
KollektionFactiva
SpracheDeutsch
KollektionElsevier ScienceDirect Journals Complete