Projektdetails
| Status | Abgeschlossen |
|---|---|
| Tatsächlicher Beginn/ -es Ende | 1 Nov. 2015 → 1 Jan. 2019 |
Mittelherkunft
- Deutsche Forschungsgemeinschaft (DFG)
Förderprogramme und -linien
- Einzelprojekte (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. (Hrsg.). Springer, Cham, 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
-
Descriptive complexity of #P functions: A new perspective
Durand, A., Haak, A., Kontinen, J. A. & Vollmer, H., März 2021, in: Journal of Computer and System Sciences. 116, S. 40-54 15 S.Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung › 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, S. 1008-1029 22 S.Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung › Peer-Review