David Gilis

Identifiers

No identifiers captured yet.

Papers (1)

1. Splitting an operator: Algebraic modularity results for logics with fixpoint semantics cs.AI · 2004 · author #2

Mentions

No mention provenance yet.

Frequent Coauthors

• Joost Vennekens 1 shared papers
• Marc Denecker 1 shared papers