Matthias Naaf

Available identifiers

zbMath Open naaf.matthiasMaRDI QIDQ1687546

List of research outcomes

Publication	Date of Publication	Type
Semiring provenance for Büchi games: strategy analysis with absorptive polynomials	2024-12-06	Paper
Zero-one laws and almost sure valuations of first-order logic in semiring semantics	2024-12-06	Paper
Locality theorems in semiring semantics	2024-12-03	Paper
Semiring provenance for Büchi games: strategy analysis with absorptive polynomials	2024-06-27	Paper
Computing least and greatest fixed points in absorptive semirings	2023-03-30	Paper
Generalized Absorptive Polynomials and Provenance Semantics for Fixed-Point Logic	2019-10-17	Paper
Complexity analysis for term rewriting by integer transition systems	2018-01-04	Paper
Lower runtime bounds for integer programs	2016-09-05	Paper

Research outcomes over time

This page was built for person: Matthias Naaf