output
20132022
most citedA Circuit-Based Approach to Efficient Enumeration

22 citations

researchers with a paper here

Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.

collaborating institutions
Showing 2017 · cs.LOShow all

1 paper · 2 filters

cs.LO2017★ 2 cited

Definability and Interpolation within Decidable Fixpoint Logics

Michael Benedikt, Pierre Bourhis, Michael Vanden Boom

We look at characterizing which formulas are expressible in rich decidable logics such as guarded fixpoint logic, unary negation fixpoint logic, and guarded negation fixpoint logic…