Loading [MathJax]/extensions/tex2jax.js

Logic and Computation Through the Lens of Semirings

Research output: Working paper/Preprint › Technical report › Research

Authors

  • Timon Barlag
  • Nicolas Fröhlich
  • Teemu Hankala
  • Miika Hannula
  • Vivian Holzapfel
  • Juha Kontinen
  • Arne Meier
  • Laura Strieker

Research Organisations

External Research Organisations

  • University of Helsinki
  • University of Tartu
1 - 1 out of 1Page size: 20
Sort by: Start date
Order:

Projects

  1. Applications and complexity of logics in semiring team semantics

    Meier, A. (Principal Investigator), Vollmer, H. (Project staff), Barlag, T. (Project staff), Fröhlich, N. F. H. (Project staff), Holzapfel, V. (Project staff) & Strieker, L. (Project staff)

    1 Jan 2024 → 31 Dec 2025

    Project: Research