Expressive Equivalence of Least and Inflationary Fixed−Point Logic

Expressive Equivalence of Least and Inflationary Fixed−Point Logic

Mostrar outras versões (1)

Detalhes bibliográficos
Autor principal:	Kreutzer, S
Formato:	Journal article
Publicado em:	2004

Expressive Equivalence of Least and Inflationary Fixed−Point Logic

Expressive Equivalence of Least and Inflationary Fixed−Point Logic por Kreutzer, S

Publicado em 2002

Conference item