Publikationen
- Veröffentlicht
Introduction
Abramsky, S., Kontinen, J., Väänänen, J. & Vollmer, H., 2016, Logics for Dependence and Independence. Cham, S. 1-3Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Beitrag in Buch/Sammelwerk › Forschung › Peer-Review
- Veröffentlicht
Dependence Logic - Theory and Applications (Dagstuhl Seminar 13071).
Abramsky, S., Kontinen, J., Väänänen, J. A. & Vollmer, H., 2013Publikation: Sonstige Publikation › Forschung
- Veröffentlicht
Dependence Logic, Theory and Applications
Abramsky, S., Kontinen, J., Väänänen, J. & Vollmer, H., 2016, Dependence Logic: Theory and Applications. Cham, (Logics for Dependence and Independence).Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Vorwort/Nachwort › Forschung
- Veröffentlicht
The complexity of satisfiability problems: Refining Schaefer's theorem.
Allender, E., Bauland, M., Immerman, N., Schnoor, H. & Vollmer, H., 2009, in: J. Comput. Syst. Sci.. 75, 4, S. 245-254 10 S., 4.Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung › Peer-Review
- Veröffentlicht
The complexity of satisfiability problems: Refining Schaefer's theorem
Allender, E., Bauland, M., Immerman, N., Schnoor, H. & Vollmer, H., 2005, in: Lecture Notes in Computer Science. 3618, S. 71-82 12 S.Publikation: Beitrag in Fachzeitschrift › Konferenzaufsatz in Fachzeitschrift › Forschung › Peer-Review
- Veröffentlicht
LoCo - A Logic for Configuration Problems.
Aschinger, M., Drescher, C., Gottlob, G. & Vollmer, H., 2014, in: ACM Trans. Comput. Log.. 15, 3, S. 20:1-20:25Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung › Peer-Review
- Veröffentlicht
LoCo - A Logic for Configuration Problems.
Aschinger, M., Drescher, C. & Vollmer, H., 2012, S. 73-78.Publikation: Konferenzbeitrag › Paper › Forschung › Peer-Review
- Veröffentlicht
A Logical Characterization of Constant-Depth Circuits over the Reals
Barlag, T. & Vollmer, H., 2021, Logic, Language, Information, and Computation: 27th International Workshop, WoLLIC 2021, Virtual Event, October 5–8, 2021, Proceedings. Silva, A., Wassermann, R. & de Queiroz, R. (Hrsg.). Band abs/2005.04916. S. 16-30 15 S. (Lecture Notes in Computer Science (LNCS); Band 13038).Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Aufsatz in Konferenzband › Forschung › Peer-Review
- Veröffentlicht
Unified Foundations of Team Semantics via Semirings
Barlag, T., Hannula, M., Kontinen, J., Pardal, N. & Virtema, J., 2023, Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023. Marquis, P., Son, T. C. & Kern-Isberner, G. (Hrsg.). S. 75-85 11 S. (Proceedings of the International Conference on Knowledge Representation and Reasoning).Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Aufsatz in Konferenzband › Forschung › Peer-Review
- Veröffentlicht
Logical characterizations of algebraic circuit classes over integral domains
Barlag, T., Chudigiewitsch, F. & Gaube, S. A., Mai 2024, in: Mathematical Structures in Computer Science. 34, 5, S. 346-374 29 S.Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung › Peer-Review
- Veröffentlicht
The tractability of model checking for LTL - The good, the bad, and the ugly fragments.
Bauland, M., Mundhenk, M., Schneider, T., Schnoor, H., Schnoor, I. & Vollmer, H., 2011, in: ACM Trans. Comput. Log.. 12, 2, S. 13:1-13:28Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung › Peer-Review
- Veröffentlicht
The Complexity of Problems for Quantified Constraints.
Bauland, M., Böhler, E., Creignou, N., Reith, S., Schnoor, H. & Vollmer, H., 2010, in: Theory Comput. Syst.. 47, 2, S. 454-490Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung › Peer-Review
- Veröffentlicht
The Complexity of Generalized Satisfiability for Linear Temporal Logic
Bauland, M., Schneider, T., Schnoor, H., Schnoor, I. & Vollmer, H., 2009, in: Log. Methods Comput. Sci.. 5, 1, 1.Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung › Peer-Review
- Veröffentlicht
The Tractability of Model-Checking for LTL: The Good, the Bad, and the Ugly Fragments
Bauland, M., Mundhenk, M., Schneider, T., Schnoor, H., Schnoor, I. & Vollmer, H., 2009, in: Electronic Notes in Theoretical Computer Science (ENTCS). 231, S. 277-292 16 S.Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung › Peer-Review
- Veröffentlicht
The complexity of generalized satisfiability for linear temporal logic
Bauland, M., Schneider, T., Schnoor, H., Schnoor, I. & Vollmer, H., 2007, Foundations of Software Science and Computational Structures - 10th International Conference, FOSSACS 2007. Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007. Springer Verlag, S. 48-62 15 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 4423 LNCS).Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Aufsatz in Konferenzband › Forschung › Peer-Review
- Veröffentlicht
An algebraic approach to the complexity of generalized conjunctive queries
Bauland, M., Chapdelaine, P., Creignou, N., Hermann, M. & Vollmer, H., 2005, in: Lecture Notes in Computer Science. 3542, S. 30-45 16 S.Publikation: Beitrag in Fachzeitschrift › Konferenzaufsatz in Fachzeitschrift › Forschung › Peer-Review
- Veröffentlicht
The Complexity of Generalized Satisfiability for Linear Temporal Logic
Bauland, M., Schneider, T., Schnoor, H., Schnoor, I. & Vollmer, H., 28 Dez. 2008, in: Logical Methods in Computer Science, Volume.Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung › Peer-Review
- Veröffentlicht
SAT and Interactions (Dagstuhl Seminar 16381).
Beyersdorff, O., Creignou, N., Egly, U. & Vollmer, H., 2016Publikation: Sonstige Publikation › Forschung
- Veröffentlicht
Verifying proofs in constant depth.
Beyersdorff, O., Datta, S., Krebs, A., Mahajan, M., Scharfenberger-Fabian, G., Sreenivasaiah, K., Thomas, M. & Vollmer, H., 2013, in: ACM Trans. Comput. Theory. 5, 1, S. 2:1-2:23Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung › Peer-Review
- Veröffentlicht
The complexity of reasoning for fragments of default logic.
Beyersdorff, O., Meier, A., Thomas, M. & Vollmer, H., 2012, in: J. Log. Comput.. 22, 3, S. 587-604Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung › Peer-Review