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

What's decidable about arrays?
Lecture notes in computer science, 2006, p.427-442
2006
Volltextzugriff (PDF)

Lecture notes in computer science, 2005, p.25-41
2005
Volltextzugriff (PDF)

Formal methods in system design, 2004-03, Vol.24 (2), p.101-127
2004
Volltextzugriff (PDF)

Automata, Languages and Programming, 2000, p.429-450
2000
Volltextzugriff (PDF)

Lecture notes in computer science, 2006, p.111-125
2006
Volltextzugriff (PDF)

The Polyranking Principle
Automata, Languages and Programming, 2005, p.1349-1361
2005
Volltextzugriff (PDF)

Theoretical computer science, 2001, Vol.253 (1), p.27-60
2001
Volltextzugriff (PDF)

Termination of polynomial programs
Lecture notes in computer science, 2005, p.113-129
2005
Volltextzugriff (PDF)

Lecture notes in computer science, 2004, p.53-68
2004
Volltextzugriff (PDF)


Open Access
Linear Ranking with Reachability
Computer Aided Verification, 2005, p.491-504
2005
Volltextzugriff (PDF)



Hybrid Systems: Computation and Control, 1998, p.305-318
1998
Volltextzugriff (PDF)


CONCUR 2005 – Concurrency Theory, 2005, p.488-502
2005
Volltextzugriff (PDF)

Lecture notes in computer science, 1999, p.28-41
1999
Volltextzugriff (PDF)


British journal of pharmacology, 1995-07, Vol.115 (6), p.937-944
1995
Volltextzugriff (PDF)

12th International Symposium on Temporal Representation and Reasoning (TIME'05), 2005, p.166-174
2005
Volltextzugriff (PDF)




Hybrid Systems: Computation and Control, 2004, p.539-554
2004
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n