Publications
- 2017
- Published
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. 66Research output: Contribution to journal › Editorial in journal › Research
- Published
Model-Theoretic Characterizations of Boolean and Arithmetic Circuit Classes of Small Depth.
Durand, A., Haak, A. & Vollmer, H., 2017Research output: Other contribution › Other publication › Research
- 2016
- Published
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. (eds.). Berlin: Springer Verlag, p. 234-248 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9803 LNCS).Research output: Chapter in book/report/conference proceeding › Conference contribution › Research › peer review
- Published
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. 47Research output: Contribution to journal › Editorial in journal › Research
- Published
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).Research output: Chapter in book/report/conference proceeding › Foreword/postscript › Research
- Published
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. (eds.). (Leibniz International Proceedings in Informatics, LIPIcs; vol. 62).Research output: Chapter in book/report/conference proceeding › Conference contribution › Research › peer review
- Published
Expressivity and Complexity of Dependence Logic
Durand, A., Kontinen, J. & Vollmer, H., 2016, Logics for Dependence and Independence. Cham, p. 5-32Research output: Chapter in book/report/conference proceeding › Contribution to book/anthology › Research › peer review
- Published
Introduction
Abramsky, S., Kontinen, J., Väänänen, J. & Vollmer, H., 2016, Logics for Dependence and Independence. Cham, p. 1-3Research output: Chapter in book/report/conference proceeding › Contribution to book/anthology › Research › peer review
- Published
SAT and Interactions (Dagstuhl Seminar 16381).
Beyersdorff, O., Creignou, N., Egly, U. & Vollmer, H., 2016Research output: Other contribution › Other publication › Research
- 2015
- Published
Dependence logic with a majority quantifier
Durand, A., Ebbing, J., Kontinen, J. & Vollmer, H., Sept 2015, In: Journal of Logic, Language and Information. 24, p. 289-305 17 p.Research output: Contribution to journal › Article › Research › peer review
- Published
Complexity of Propositional Logics in Team Semantic
Hannula, M., Kontinen, J., Virtema, J. & Vollmer, H., 23 Apr 2015.Research output: Working paper/Preprint › Working paper/Discussion paper
- Published
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). p. 277-291Research output: Chapter in book/report/conference proceeding › Conference contribution › Research › peer review
- Published
Circuits, Logic and Games (Dagstuhl Seminar 15401).
Bojanczyk, M., Mahajan, M., Schwentick, T. & Vollmer, H., 2015Research output: Other contribution › Other publication › Research
- Published
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. p. 269-280Research output: Chapter in book/report/conference proceeding › Conference contribution › Research › peer review
- Published
Dependence Logic with a Majority Quantifier.
Durand, A., Ebbing, J., Kontinen, J. & Vollmer, H., 2015, In: J. Log. Lang. Inf.. 24, 3, p. 289-305Research output: Contribution to journal › Article › Research › peer review
- Published
Komplexität von Algorithmen.
Meier, A. & Vollmer, H., 2015Research output: Book/Report › Textbook › Education
- Published
Logics for Dependence and Independence (Dagstuhl Seminar 15261).
Grädel, E., Kontinen, J., Väänänen, J. & Vollmer, H., 2015Research output: Other contribution › Other publication › Research
- Published
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. p. 281-292Research output: Chapter in book/report/conference proceeding › Conference contribution › Research › peer review
- Published
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, p. 685-710Research output: Contribution to journal › Article › Research › peer review
- Published
Parameterized Complexity of Weighted Satisfiability Problems - Decision, Enumeration, Counting.
Creignou, N. & Vollmer, H., 2015, In: Fundam. Informaticae. 136, 4, p. 297-316Research output: Contribution to journal › Article › Research › peer review