Expressive Equivalence of Least and Inflationary Fixed−Point Logic

Podrobná bibliografie
Hlavní autor: Kreutzer, S
Médium: Journal article
Vydáno: 2004