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

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

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

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

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

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


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

Electronic notes in theoretical computer science, 2011-09, Vol.276, p.291-311
2011
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, 2003-07, Vol.82 (1), p.57-75
2003
Link zum Volltext

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

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