Login / Signup
Gustav Grabolle
ORCID
Publication Activity (10 Years)
Years Active: 2021-2024
Publications (10 Years): 4
Top Topics
Lattice Gas
Top Venues
CoRR
GandALF
Int. J. Found. Comput. Sci.
Log. Methods Comput. Sci.
</>
Publications
</>
Manfred Droste
,
Gustav Grabolle
,
George Rahonis
Weighted Linear Dynamic Logic.
Int. J. Found. Comput. Sci.
35 (1&2) (2024)
Gustav Grabolle
A Nivat Theorem for Weighted Alternating Automata over Commutative Semirings.
Log. Methods Comput. Sci.
19 (4) (2023)
Gustav Grabolle
A Nivat Theorem for Weighted Alternating Automata over Commutative Semirings.
CoRR
(2022)
Gustav Grabolle
A Nivat Theorem for Weighted Alternating Automata over Commutative Semirings.
GandALF
(2021)