Gustav Grabolle

Orcid: 0000-0002-9828-7657

According to our database¹, Gustav Grabolle authored at least 2 papers between 2023 and 2024.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2024

Weighted Linear Dynamic Logic.

[DOI]

Int. J. Found. Comput. Sci., 2024

2023

A Nivat Theorem for Weighted Alternating Automata over Commutative Semirings.

[DOI]

Log. Methods Comput. Sci., 2023