Expressive Equivalence of Least and Inflationary Fixed−Point Logic

Detalles Bibliográficos
Autor principal: Kreutzer, S
Formato: Journal article
Publicado: 2004