Expressive Equivalence of Least and Inflationary Fixed−Point Logic

Expressive Equivalence of Least and Inflationary Fixed−Point Logic

Näytä muut versiot (1)
Bibliografiset tiedot
Päätekijä: Kreutzer, S
Aineistotyyppi: Journal article
Julkaistu: 2004
Search Result 1
Expressive Equivalence of Least and Inflationary Fixed−Point Logic

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

Julkaistu 2002
Conference item
Näytä kaikki versiot (2)

Samankaltaisia teoksia