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


Variable Minimal Unsatisfiability
Lecture notes in computer science, 2006, p.262-273
2006
Link zum Volltext



There is no SW-complete c.e. real
The Journal of symbolic logic, 2004-12, Vol.69 (4), p.1163-1170
2004
Link zum Volltext

Archive for mathematical logic, 2006-03, Vol.45 (3), p.365-379
2006
Link zum Volltext

Proceedings of the American Mathematical Society, 2004-08, Vol.132 (8), p.2461-2464
2004
Link zum Volltext


Tenth IEEE International High-Level Design Validation and Test Workshop, 2005, 2005, p.168-174
2005


Annals of pure and applied logic, 2007-06, Vol.147 (1), p.71-83
2007
Link zum Volltext

Archive for mathematical logic, 2007-04, Vol.46 (3-4), p.321-346
2007
Link zum Volltext

Theory and Applications of Models of Computation, p.611-620
Link zum Volltext

Proceedings of the American Mathematical Society, 2004-08, Vol.132 (8), p.2461-2464
2004
Link zum Volltext

Science China. Mathematics, 1999-07, Vol.42 (7), p.720-731
1999
Link zum Volltext

Bulletin of Symbolic Logic, 2008-12, Vol.14 (4), p.548-549
2008
Link zum Volltext

Science China. Mathematics, 1999-07, Vol.42 (7), p.691-698
1999
Link zum Volltext

Bounding non-GL 2 and R.E.A
The Journal of symbolic logic, 2009-09, Vol.74 (3), p.989-1000
2009
Link zum Volltext

Bounding non-GL2 and R.E.A
The Journal of symbolic logic, 2009-09, Vol.74 (3), p.989-1000
2009
Link zum Volltext

Mathematical structures in computer science, 2009-02, Vol.19 (1), p.59-71
2009
Link zum Volltext

Chinese science bulletin, 2010-06, Vol.55 (18), p.1957-1960
2010
Link zum Volltext

Lecture notes in computer science, 2006, p.611-620
2006
Link zum Volltext

Proceedings of the American Mathematical Society, 2004, Vol.132 (8), p.2461-2464
2004
Link zum Volltext

Theory and Applications of Models of Computation, p.595-604
Link zum Volltext
Suchergebnisse filtern
Filter anzeigen
Erscheinungsjahr
n.n
n.n
Neu hinzugefügt