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...
Foundations of Software Science and Computation Structures. FoSSaCS 2019, 2019, Vol.11425, p.189-206
2019
Volltextzugriff (PDF)

A Bounding Quantifier
Computer Science Logic, 2004, p.41-55
2004
Volltextzugriff (PDF)

Automata with Group Actions
2011 IEEE 26th Annual Symposium on Logic in Computer Science, 2011, p.355-364
2011
Volltextzugriff (PDF)

Theoretical computer science, 2006-02, Vol.350 (2), p.164-173
2006
Volltextzugriff (PDF)

Open Access
Two-Variable Logic on Words with Data
21st Annual IEEE Symposium on Logic in Computer Science (LICS'06), 2006, p.7-16
2006
Volltextzugriff (PDF)

22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007), 2007, p.121-130
2007
Volltextzugriff (PDF)

1-Bounded TWA Cannot Be Determinized
FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science, 2003, p.62-73
2003
Volltextzugriff (PDF)

Lecture notes in computer science, 2002, p.833-844
2002
Volltextzugriff (PDF)

Automata, Languages and Programming, 2004, p.246-256
2004
Volltextzugriff (PDF)

Medical education, 1994-05, Vol.28 (3), p.180-186
1994
Volltextzugriff (PDF)

Theoretical computer science, 2003-04, Vol.298 (3), p.511-528
2003
Volltextzugriff (PDF)

Open Access
Piecewise Testable Tree Languages
2008 23rd Annual IEEE Symposium on Logic in Computer Science, 2008, p.442-451
2008
Volltextzugriff (PDF)

Bounds in w-Regularity
21st Annual IEEE Symposium on Logic in Computer Science (LICS'06), 2006, p.285-296
2006
Volltextzugriff (PDF)

2009 24th Annual IEEE Symposium on Logic In Computer Science, 2009, p.255-263
2009
Volltextzugriff (PDF)

Open Access
Characterizing EF and EX Tree Logics
CONCUR 2004 - Concurrency Theory, 2004, p.131-145
2004
Volltextzugriff (PDF)

Medical informatics, 1991, Vol.16 (4), p.323-329
1991
Volltextzugriff (PDF)

Archives of gerontology and geriatrics, 1991-07, Vol.13 (1), p.61-69
1991
Volltextzugriff (PDF)

IFAC Proceedings Volumes, 1980, Vol.13 (5), p.151-156
1980
Volltextzugriff (PDF)

IEEE transactions on parallel and distributed systems, 2000-03, Vol.11 (3), p.287-298
2000
Volltextzugriff (PDF)





An accurate product SVD algorithm
Signal processing, 1991, Vol.25 (2), p.189-201
1991
Volltextzugriff (PDF)

Numerical algorithms, 1994-09, Vol.7 (2), p.325-354
1994
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigen
Sprache
Erscheinungsjahr
n.n
n.n