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...
The Journal of artificial intelligence research, 2011-01, Vol.40, p.353-373
2011
Link zum Volltext

20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05), 2005, p.106-115
2005

Journal of the ACM, 2004-03, Vol.51 (2), p.281-311
2004
Link zum Volltext

20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05), 2005, p.458-466
2005

Proceedings - Symposium on Logic in Computer Science, 2002, p.325-334
2002

Open Access
Narrow Proofs May Be Maximally Long
2014 IEEE 29th Conference on Computational Complexity (CCC), 2014, p.286-297
2014

18th IEEE Annual Conference on Computational Complexity, 2003. Proceedings, 2003, p.239-247
2003

Theoretical computer science, 2003-02, Vol.295 (1-3), p.27-39
2003
Link zum Volltext

21st Annual IEEE Conference on Computational Complexity (CCC'06), 2006, p.8 pp.-95
2006

Lecture notes in computer science, 2004, p.77-91
2004
Link zum Volltext


Database Theory - ICDT 2005, 2005, p.53-67
2005
Link zum Volltext

Information and computation, 2004-03, Vol.189 (2), p.182-201
2004
Link zum Volltext


Proceedings 16th Annual IEEE Conference on Computational Complexity, 2001, p.36-41
2001

Information and computation, 2002-08, Vol.176 (2), p.136-152
2002
Link zum Volltext

Journal of computer and system sciences, 2002-12, Vol.65 (4), p.626-638
2002
Link zum Volltext


2008 49th Annual IEEE Symposium on Foundations of Computer Science, 2008, p.739-748
2008


Lecture notes in computer science, 2000, p.172-186
2000
Link zum Volltext



Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158), 1999, p.275-284
1999

Mathematical logic quarterly, 2001-11, Vol.47 (4), p.461-474
2001
Link zum Volltext
Suchergebnisse filtern
Filter anzeigen
Erscheinungsjahr
n.n
n.n
Neu hinzugefügt