18 citations · 22 across the 4 of their papers we have counts for
1 paper · 2 filters
Alexei Lisitsa
Deficiency in expressive power of the first-order logic has led to developing its numerous extensions by fixed point operators, such as Least Fixed-Point (LFP), inflationary fixed-…