Wies{\l}aw Szwast

Identifiers

• name variant Wies{\l}aw Szwast 0.50 · backfill

Papers (1)

1. On the satisfiability problem for fragments of the two-variable logic with one transitive relation cs.LO · 2018 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Lidia Tendera 1 shared papers