Lidia Tendera

Identifiers

• name variant Lidia Tendera 0.50 · backfill

Papers (2)

1. The Fluted Fragment with Transitivity cs.LO · 2019 · author #2
2. On the satisfiability problem for fragments of the two-variable logic with one transitive relation cs.LO · 2018 · author #2

Mentions

No mention provenance yet.

Frequent Coauthors

• Ian Pratt-Hartmann 1 shared papers
• Wies{\l}aw Szwast 1 shared papers