Publikationen
- 2017
- Veröffentlicht
34th Symposium on Theoretical Aspects of Computer Science, STACS 2017, March 8-11, 2017, Hannover, Germany
Vollmer, H. & Vallée, B., 2017, in: Leibniz International Proceedings in Informatics, LIPIcs. 66Publikation: Beitrag in Fachzeitschrift › Editorial in Fachzeitschrift › Forschung
- Veröffentlicht
Model-Theoretic Characterizations of Boolean and Arithmetic Circuit Classes of Small Depth.
Durand, A., Haak, A. & Vollmer, H., 2017Publikation: Sonstige Publikation › Forschung
- 2016
- Veröffentlicht
A Model-Theoretic Characterization of Constant-Depth Arithmetic Circuits
Haak, A. & Vollmer, H., 6 Aug. 2016, Logic, Language, Information, and Computation: 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings. Väänänen, J., Hirvonen, Å. & de Queiroz, R. (Hrsg.). Berlin: Springer Verlag, S. 234-248 15 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 9803 LNCS).Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Aufsatz in Konferenzband › Forschung › Peer-Review
- Veröffentlicht
33rd Symposium on Theoretical Aspects of Computer Science, STACS 2016, February 17-20, 2016, Orléans, France
Ollinger, N. & Vollmer, H., 2016, in: Leibniz International Proceedings in Informatics, LIPIcs. 47Publikation: Beitrag in Fachzeitschrift › Editorial in Fachzeitschrift › 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
Descriptive complexity of #AC0 functions
Durand, A., Haak, A., Kontinen, J. & Vollmer, H., 2016, Computer Science Logic 2016, CSL 2016. Talbot, J.-M. & Regnier, L. (Hrsg.). (Leibniz International Proceedings in Informatics, LIPIcs; Band 62).Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Aufsatz in Konferenzband › Forschung › Peer-Review
- Veröffentlicht
Expressivity and Complexity of Dependence Logic
Durand, A., Kontinen, J. & Vollmer, H., 2016, Logics for Dependence and Independence. Cham, S. 5-32Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Beitrag in Buch/Sammelwerk › Forschung › Peer-Review
- 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
SAT and Interactions (Dagstuhl Seminar 16381).
Beyersdorff, O., Creignou, N., Egly, U. & Vollmer, H., 2016Publikation: Sonstige Publikation › Forschung
- 2015
- Veröffentlicht
Dependence logic with a majority quantifier
Durand, A., Ebbing, J., Kontinen, J. & Vollmer, H., Sept. 2015, in: Journal of Logic, Language and Information. 24, S. 289-305 17 S.Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung › Peer-Review
- Veröffentlicht
Complexity of Propositional Logics in Team Semantic
Hannula, M., Kontinen, J., Virtema, J. & Vollmer, H., 23 Apr. 2015.Publikation: Arbeitspapier/Preprint › Arbeitspapier/Diskussionspapier
- Veröffentlicht
A Van Benthem Theorem for Modal Team Semantics
Kontinen, J., Müller, J., Schnoor, H. & Vollmer, H., 2015, 24th EACSL Annual Conference on Computer Science Logic (CSL 2015). S. 277-291Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Aufsatz in Konferenzband › Forschung › Peer-Review
- Veröffentlicht
Circuits, Logic and Games (Dagstuhl Seminar 15401).
Bojanczyk, M., Mahajan, M., Schwentick, T. & Vollmer, H., 2015Publikation: Sonstige Publikation › Forschung
- Veröffentlicht
Complexity of Propositional Independence and Inclusion Logic
Hannula, M., Kontinen, J., Virtema, J. & Vollmer, H., 2015, Mathematical Foundations of Computer Science 2015: 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part I. S. 269-280Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Aufsatz in Konferenzband › Forschung › Peer-Review
- Veröffentlicht
Dependence Logic with a Majority Quantifier.
Durand, A., Ebbing, J., Kontinen, J. & Vollmer, H., 2015, in: J. Log. Lang. Inf.. 24, 3, S. 289-305Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung › Peer-Review
- Veröffentlicht
Komplexität von Algorithmen.
Meier, A. & Vollmer, H., 2015Publikation: Buch/Bericht/Sammelwerk/Konferenzband › Lehrbuch › Lehre
- Veröffentlicht
Logics for Dependence and Independence (Dagstuhl Seminar 15261).
Grädel, E., Kontinen, J., Väänänen, J. & Vollmer, H., 2015Publikation: Sonstige Publikation › Forschung
- Veröffentlicht
Modal Inclusion Logic - Being Lax is Simpler than Being Strict.
Hella, L., Kuusisto, A., Meier, A. & Vollmer, H., 2015, Mathematical Foundations of Computer Science 2015 - 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings. S. 281-292Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Aufsatz in Konferenzband › Forschung › Peer-Review
- Veröffentlicht
On the parameterized complexity of non-monotonic logics.
Meier, A., Schindler, I., Schmidt, J., Thomas, M. & Vollmer, H., 2015, in: Arch. Math. Log.. 54, 5-6, S. 685-710Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung › Peer-Review
- Veröffentlicht
Parameterized Complexity of Weighted Satisfiability Problems - Decision, Enumeration, Counting.
Creignou, N. & Vollmer, H., 2015, in: Fundam. Informaticae. 136, 4, S. 297-316Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung › Peer-Review