Ewa Or{\l}owska

Identifiers

No identifiers captured yet.

Papers (3)

1. Representation of lattice frames math.LO · 2018 · author #2
2. On the semilattice of modal operators and decompositions of the discriminator math.LO · 2018 · author #3
3. A Dual Tableau-based Decision Procedure for a Relational Logic with the Universal Relation (Extended Version) cs.LO · 2018 · author #3

Mentions

No mention provenance yet.

Frequent Coauthors

• Ivo D\"untsch 2 shared papers
• Domenico Cantone 1 shared papers
• Marianna Nicolosi-Asmundo 1 shared papers
• Wojciech Dzik 1 shared papers