LFP Semantics. The semantics of least fixed-point logic is defined by a straightforward induction on the construction of LFP-formulas.
確定! 回上一頁