2 citations · 4 across the 4 of their papers we have counts for
1 paper · 1 filter
Facundo Carreiro
Our main contributions can be divided in three parts: (1) Fixpoint extensions of first-order logic: we give a precise syntactic and semantic characterization of the relationship be…