Sign in
Max Sandström
ORCID
Publication Activity (10 Years)
Years Active: 2021-2023
Publications (10 Years): 4
Top Topics
Guarded Fragment
Relational Algebra
Quantifier Elimination
Monadic Second Order Logic
Top Venues
CoRR
WoLLIC
MFCS
</>
Publications
</>
Juha Kontinen
,
Max Sandström
,
Jonni Virtema
Set Semantics for Asynchronous TeamLTL: Expressivity and Complexity.
MFCS
(2023)
Juha Kontinen
,
Max Sandström
,
Jonni Virtema
Set Semantics for Asynchronous TeamLTL: Expressivity and Complexity.
CoRR
(2023)
Juha Kontinen
,
Max Sandström
On the Expressive Power of TeamLTL and First-Order Team Logic over Hyperproperties.
WoLLIC
(2021)
Juha Kontinen
,
Max Sandström
On the Expressive Power of TeamLTL and First-Order Team Logic over Hyperproperties.
CoRR
(2021)