research
∙
06/19/2020
The Fluted Fragment with Transitive Relations
We study the satisfiability problem for the fluted fragment extended wit...
research
∙
06/21/2019
The Fluted Fragment with Transitivity
We study the satisfiability problem for the fluted fragment extended wit...
research
∙
04/25/2018