Eugenia Ternovska

Identifiers

• name variant Eugenia Ternovska 0.60 · backfill

Papers (5)

1. Lifted Relational Algebra with Recursion and Connections to Modal Logic cs.LO · 2016 · author #1
2. Propagators and Solvers for the Algebra of Modular Systems cs.AI · 2016 · author #2
3. Three Semantics for Modular Systems cs.LO · 2014 · author #2
4. Solving Modular Model Expansion Tasks cs.LO · 2011 · author #3
5. A Logic for Non-Monotone Inductive Definitions cs.AI · 2005 · author #2

Mentions

• 1109.0583 #3 · backfill · confidence 0.70 Eugenia Ternovska

Frequent Coauthors

• Shahab Tasharrofi 2 shared papers
• Bart Bogaerts 1 shared papers
• David Mitchell 1 shared papers
• Marc Denecker 1 shared papers
• Xiongnan (Newman) Wu 1 shared papers