Project Details
| Status | Finished |
|---|---|
| Effective start/end date | 1 Nov 2015 → 1 Jan 2019 |
Funding type
- German Research Foundation (DFG)
Funding scheme
- Individual Research Grants (Sachbeihilfe)
-
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. (eds.). Springer, Cham, Vol. abs/2005.04916. p. 16-30 15 p. (Lecture Notes in Computer Science (LNCS); vol. 13038).Research output: Chapter in book/report/conference proceeding › Conference contribution › Research › peer review
-
Descriptive complexity of #P functions: A new perspective
Durand, A., Haak, A., Kontinen, J. A. & Vollmer, H., Mar 2021, In: Journal of Computer and System Sciences. 116, p. 40-54 15 p.Research output: Contribution to journal › Article › Research › peer review
-
A model-theoretic characterization of constant-depth arithmetic circuits
Haak, A. & Vollmer, H., Sept 2019, In: Annals of Pure and Applied Logic. 170, 9, p. 1008-1029 22 p.Research output: Contribution to journal › Article › Research › peer review