18 citations · 60 across the 35 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-…