Publication | Date of Publication | Type |
---|
https://portal.mardi4nfdi.de/entity/Q6161059 | 2023-06-26 | Paper |
https://portal.mardi4nfdi.de/entity/Q5874201 | 2023-02-07 | Paper |
Parameterized Parallel Computing and First-Order Logic | 2022-11-09 | Paper |
Mathematical Logic | 2021-06-08 | Paper |
Tree-depth, quantifier elimination, and quantifier rank | 2021-01-20 | Paper |
https://portal.mardi4nfdi.de/entity/Q5111186 | 2020-05-26 | Paper |
Some lower bounds in parameterized \(\mathrm{AC}^{0}\) | 2019-05-29 | Paper |
Einführung in die mathematische Logik | 2018-10-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4608586 | 2018-03-21 | Paper |
On the Ordered Conjecture | 2017-05-16 | Paper |
Query evaluation via tree-decompositions | 2015-12-07 | Paper |
The Ehrenfeucht-Fraïssé Method and the Planted Clique Conjecture | 2015-09-22 | Paper |
Hard Instances of Algorithms and Proof Systems | 2015-09-03 | Paper |
Consistency, optimality, and incompleteness | 2015-08-27 | Paper |
ON OPTIMAL INVERTERS | 2014-10-21 | Paper |
From Almost Optimal Algorithms to Logics for Complexity Classes via Listings and a Halting Problem | 2014-02-17 | Paper |
The Exponential Time Hypothesis and the Parameterized Clique Problem | 2013-01-07 | Paper |
Some Definitorial Suggestions for Parameterized Proof Complexity | 2013-01-07 | Paper |
A Parameterized Halting Problem | 2012-09-05 | Paper |
Hard Instances of Algorithms and Proof Systems | 2012-08-14 | Paper |
Strong isomorphism reductions in complexity theory | 2011-12-23 | Paper |
Consistency and Optimality | 2011-09-09 | Paper |
Lower bounds for kernelizations and other preprocessing procedures | 2011-05-25 | Paper |
On p-Optimal Proof Systems and Logics for PTIME | 2010-09-07 | Paper |
A Logic for PTIME and a Parameterized Halting Problem | 2010-09-03 | Paper |
On Slicewise Monotone Parameterized Problems and Optimal Proof Systems for TAUT | 2010-09-03 | Paper |
Lower Bounds for Kernelizations and Other Preprocessing Procedures | 2010-07-28 | Paper |
W-hierarchies defined by symmetric gates | 2010-05-10 | Paper |
On the complexity of Gödel's proof predicate | 2010-03-15 | Paper |
https://portal.mardi4nfdi.de/entity/Q3396009 | 2009-09-15 | Paper |
https://portal.mardi4nfdi.de/entity/Q3625829 | 2009-05-22 | Paper |
Subexponential Time and Fixed-Parameter Tractability: Exploiting the Miniaturization Mapping | 2009-03-05 | Paper |
Subexponential Time and Fixed-parameter Tractability: Exploiting the Miniaturization Mapping | 2009-03-02 | Paper |
The Parameterized Complexity of Maximality and Minimality Problems | 2008-06-03 | Paper |
The parameterized complexity of maximality and minimality problems | 2008-02-13 | Paper |
Parameterized Complexity and Logic | 2007-11-13 | Paper |
https://portal.mardi4nfdi.de/entity/Q5422334 | 2007-10-18 | Paper |
Model-Checking Problems as a Basis for Parameterized Intractability | 2007-10-11 | Paper |
Bounded fixed-parameter tractability and reducibility | 2007-09-28 | Paper |
An analysis of the W*-hierarchy | 2007-07-09 | Paper |
Computer Science Logic | 2007-06-21 | Paper |
Parametrized complexity theory. | 2006-05-24 | Paper |
On miniaturized problems in parameterized complexity theory | 2006-04-06 | Paper |
Bounded fixed-parameter tractability and \(\log^{2}n\) nondeterministic bits | 2006-01-10 | Paper |
Finite Model Theory | 2005-11-17 | Paper |
Automata, Languages and Programming | 2005-08-24 | Paper |
Parameterized and Exact Computation | 2005-08-23 | Paper |
Machine-based methods in parameterized complexity theory | 2005-06-30 | Paper |
https://portal.mardi4nfdi.de/entity/Q4665730 | 2005-04-11 | Paper |
The Parameterized Complexity of Counting Problems | 2005-02-21 | Paper |
Describing parameterized complexity classes | 2004-08-19 | Paper |
https://portal.mardi4nfdi.de/entity/Q4736854 | 2004-08-11 | Paper |
https://portal.mardi4nfdi.de/entity/Q4473259 | 2004-08-04 | Paper |
https://portal.mardi4nfdi.de/entity/Q4789462 | 2003-01-29 | Paper |
https://portal.mardi4nfdi.de/entity/Q4434355 | 2003-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q2729237 | 2001-07-18 | Paper |
Fixed-Parameter Tractability, Definability, and Model-Checking | 2001-06-21 | Paper |
On fixed-point logic with counting | 2001-01-14 | Paper |
Games, kernels, and antitone operations | 2000-10-30 | Paper |
Quantifiers and congruence closure | 2000-10-25 | Paper |
Games and total Datalog\(^{\lnot}\) queries | 2000-08-21 | Paper |
Pseudo-finite homogeneity and saturation | 2000-04-11 | Paper |
https://portal.mardi4nfdi.de/entity/Q4249222 | 2000-01-18 | Paper |
https://portal.mardi4nfdi.de/entity/Q4247808 | 1999-11-23 | Paper |
An Extension of the Lemma of Rasiowa and Sikorski | 1999-08-31 | Paper |
https://portal.mardi4nfdi.de/entity/Q4255575 | 1999-08-17 | Paper |
https://portal.mardi4nfdi.de/entity/Q4395561 | 1998-06-11 | Paper |
https://portal.mardi4nfdi.de/entity/Q4894127 | 1996-10-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4850061 | 1995-10-09 | Paper |
https://portal.mardi4nfdi.de/entity/Q4298571 | 1994-07-31 | Paper |
https://portal.mardi4nfdi.de/entity/Q4202936 | 1993-09-06 | Paper |
https://portal.mardi4nfdi.de/entity/Q4023926 | 1993-01-23 | Paper |
https://portal.mardi4nfdi.de/entity/Q4731174 | 1989-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3787989 | 1988-01-01 | Paper |
On topological spaces equivalent to ordinals | 1988-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3805452 | 1988-01-01 | Paper |
χ‐Local Operations for Topological Structures | 1985-01-01 | Paper |
Maximale monadische Logiken | 1985-01-01 | Paper |
Modelltheorie - topologische Modelltheorie | 1984-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3220545 | 1984-01-01 | Paper |
Topological model theory | 1980-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4182465 | 1978-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4128559 | 1976-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4128562 | 1976-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4135486 | 1976-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4109641 | 1975-01-01 | Paper |
L(Q)-preservation theorems | 1975-01-01 | Paper |
On Horn theories | 1974-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4071225 | 1974-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4773697 | 1974-01-01 | Paper |
Bemerkungen über minimale Modelle | 1972-01-01 | Paper |
Die Automorphismenmengen der Modelle einerL Q x -Theorie | 1972-01-01 | Paper |
Hanf numbers and well-ordering numbers | 1972-01-01 | Paper |
Ganzgeschlossene und prädikatengeschlossene Logiken I | 1971-01-01 | Paper |
Eine Formulierung des Herbrandschen Satzes ohne Skolemfunktionen | 1971-01-01 | Paper |
A remark on infinitary languages | 1971-01-01 | Paper |
Ganzgeschlossene und Prädikatengeschlossene Logiken. II | 1971-01-01 | Paper |