Expressive Equivalence of Least and Inflationary Fixed−Point Logic

Бібліографічні деталі
Автор: Kreutzer, S
Формат: Journal article
Опубліковано: 2004