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...
Mathematical Logic
3rd ed. 2021., 2021
Link zum Volltext

Open Access
Topological Model Theory
1, 2006
Link zum Volltext

6, überarbeitete und erweiterte Aufl 2018 edition, 2018
Link zum Volltext

SIAM journal on computing, 2004-01, Vol.33 (4), p.892-922
2004
Link zum Volltext


Journal of the ACM, 2002-11, Vol.49 (6), p.716-752
2002
Link zum Volltext

Finite Model Theory
Second Revised and Enlarged Edition 1999., 2006
Link zum Volltext


Finite Model Theory
2nd rev. and enl. ed. 1999, 2005
Link zum Volltext

The Journal of symbolic logic, 2024-01, p.1-31
2024
Link zum Volltext

The Journal of symbolic logic, 2010-03, Vol.75 (1), p.239-254
2010
Link zum Volltext

Information and computation, 2019-08, Vol.267, p.116-134
2019
Link zum Volltext

Parameterized Complexity Theory
2006 edition., 2006
Link zum Volltext

SIAM journal on computing, 2001, Vol.31 (1), p.113-145
2001
Link zum Volltext

ACM transactions on computation theory, 2014-05, Vol.6 (2), p.1-25
2014
Link zum Volltext

Fields of Logic and Computation III, p.57-78
Link zum Volltext


On the Ordered Conjecture
2012 27th Annual IEEE Symposium on Logic in Computer Science, 2012, p.225-234
2012

Open Access
Logic and Automata (Volume 2.0)
2007
Link zum Volltext

Mathematical Logic
Second Edition., 1994
Link zum Volltext

Journal of logic and computation, 2009-02, Vol.19 (1), p.89-122
2009
Link zum Volltext


2009 24th Annual IEEE Symposium on Logic In Computer Science, 2009, p.397-406
2009

An analysis of the W-hierarchy
The Journal of symbolic logic, 2007-06, Vol.72 (2), p.513-534
2007
Link zum Volltext

Suchergebnisse filtern
Filter anzeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n