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...
Einfacher Volltextzugriff von (fast) überall
Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...


Information and computation, 2012-11, Vol.220-221, p.44-59
2012
Volltextzugriff (PDF)



Current pharmaceutical design, 2005-02, Vol.11 (5), p.563-568
2005
Volltextzugriff (PDF)

Logical methods in computer science, 2010-01, Vol.6, Issue 3 (3:16)
2010
Volltextzugriff (PDF)

Weighted Logics for Traces
Computer Science – Theory and Applications, p.235-246
Volltextzugriff (PDF)

Theoretical computer science, 2014-05, Vol.534, p.69-85
2014
Volltextzugriff (PDF)



RAIRO. Informatique théorique et applications, 2011-07, Vol.45 (3), p.347-370
2011
Volltextzugriff (PDF)


Mathematical Foundations of Computer Science 2010, p.537-548
Volltextzugriff (PDF)

International journal of foundations of computer science, 2011-12, Vol.22 (8), p.1829-1844
2011
Volltextzugriff (PDF)

A Weighted μ-Calculus on Words
Developments in Language Theory, p.384-395
Volltextzugriff (PDF)

Theoretical computer science, 2004-11, Vol.328 (1), p.53-75
2004
Volltextzugriff (PDF)

Algebraic Foundations in Computer Science, p.309-346
Volltextzugriff (PDF)


Weighted logics for traces
Lecture notes in computer science, 2006, p.235-246
2006
Volltextzugriff (PDF)





FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science, p.303-315
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigen
Publikationsform
Erscheinungsjahr
n.n
n.n