Profilbild wurde nicht gefunden

Timon Barlag

https://orcid.org/0000-0001-6139-5219
Forschungs-netzwerk anzeigen
1 - 4 von 4Seitengröße: 20

Publikationen

  1. 2024
  2. Elektronisch veröffentlicht (E-Pub)

    Logical characterizations of algebraic circuit classes over integral domains

    Barlag, T., Chudigiewitsch, F. & Gaube, S. A., 13 Mai 2024, (Elektronisch veröffentlicht (E-Pub)) in: Mathematical Structures in Computer Science. 34, 5, S. 346-374 29 S.

    Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung › Peer-Review

  3. Veröffentlicht

    Computing Repairs Under Functional and Inclusion Dependencies via Argumentation

    Mahmood, Y., Virtema, J., Barlag, T. & Ngomo, A. C. N., 29 März 2024, Foundations of Information and Knowledge Systems : 13th International Symposium, FoIKS 2024. Meier, A. & Ortiz, M. (Hrsg.). Springer Science and Business Media Deutschland GmbH, S. 23-42 20 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 14589 LNCS).

    Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Aufsatz in Konferenzband › Forschung › Peer-Review

  4. 2023
  5. 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

  6. 2021
  7. 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