Olivier Stietel

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 4

Top Topics

Transitive Closure

Experimental Data

Propositional Logic

Top Venues

Log. Methods Comput. Sci.

Publications

Benedikt Bollig, Arnaud Sangnier, Olivier Stietel
On the Satisfiability of Local First-Order Logics with Data. Log. Methods Comput. Sci. 20 (3) (2024)
Benedikt Bollig, Arnaud Sangnier, Olivier Stietel
On the Satisfiability of Local First-Order Logics with Data. CoRR (2023)
Benedikt Bollig, Arnaud Sangnier, Olivier Stietel
On the Existential Fragments of Local First-Order Logics with Data. GandALF (2022)
Benedikt Bollig, Arnaud Sangnier, Olivier Stietel
Local First-Order Logic with Two Data Values. FSTTCS (2021)