Expressive Equivalence of Least and Inflationary Fixed−Point Logic

מידע ביבליוגרפי
מחבר ראשי: Kreutzer, S
פורמט: Journal article
יצא לאור: 2004