Expressive Equivalence of Least and Inflationary Fixed−Point Logic

Détails bibliographiques
Auteur principal: Kreutzer, S
Format: Conference item
Publié: 2002