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...
Automatic structures
Proceedings Fifteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.99CB36332), 2000, p.51-62
2000
Volltextzugriff (PDF)

On the Restraining Power of Guards
The Journal of symbolic logic, 1999-12, Vol.64 (4), p.1719-1742
1999
Volltextzugriff (PDF)

Infinite games
Lecture notes in computer science, 2002, p.23-40
2002
Volltextzugriff (PDF)


European journal of cardio-thoracic surgery, 1994, Vol.8 (4), p.188-193
1994
Volltextzugriff (PDF)

Lecture notes in computer science, 2004, p.4-18
2004
Volltextzugriff (PDF)

Theoretical computer science, 1992-07, Vol.101 (1), p.35-57
1992
Volltextzugriff (PDF)

ω-Automata
Lecture notes in computer science, 2002, p.3-21
2002
Volltextzugriff (PDF)

Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science, 1997, p.306-317
1997
Volltextzugriff (PDF)

Lecture notes in computer science, 2002, p.231-238
2002
Volltextzugriff (PDF)

Theoretical computer science, 2002-10, Vol.288 (1), p.129-152
2002
Volltextzugriff (PDF)

Computer Science Logic, p.409-423
Volltextzugriff (PDF)

American journal of respiratory and critical care medicine, 1995-05, Vol.151 (5), p.1472-1480
1995
Volltextzugriff (PDF)

Theory of computing systems, 2004-12, Vol.37 (6), p.641-674
2004
Volltextzugriff (PDF)


18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings, 2003, p.158-167
2003
Volltextzugriff (PDF)

Open Access
On logics with two variables
Theoretical computer science, 1999-08, Vol.224 (1), p.73-113
1999
Volltextzugriff (PDF)

Lecture notes in computer science, 2002, p.303-318
2002
Volltextzugriff (PDF)


Lecture notes in computer science, 2002, p.285-301
2002
Volltextzugriff (PDF)

Computer Science Logic, p.317-331
Volltextzugriff (PDF)

Algorithms for parity games
Lecture notes in computer science, 2002, p.107-131
2002
Volltextzugriff (PDF)

Lecture notes in computer science, 2002, p.95-106
2002
Volltextzugriff (PDF)


Lecture notes in computer science, 2002, p.153-167
2002
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigen
Erscheinungsjahr
n.n
n.n