Lidia Tendera | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Ian Pratt-Hartmann
10 publications
Wiesław Szwast
1 publication

research

∙ 06/19/2020

The Fluted Fragment with Transitive Relations

We study the satisfiability problem for the fluted fragment extended wit...

0 Ian Pratt-Hartmann, et al. ∙

research

∙ 06/21/2019

The Fluted Fragment with Transitivity

We study the satisfiability problem for the fluted fragment extended wit...

0 Ian Pratt-Hartmann, et al. ∙

research

∙ 04/25/2018

On the satisfiability problem for fragments of the two-variable logic with one transitive relation

We study the satisfiability problem for the two-variable first-order log...

0 Wiesław Szwast, et al. ∙