Fixpoint logics, relational machines, an
β
Abiteboul, Serge; Vardi, Moshe Y.; Vianu, Victor
π
Article
π
1997
π
Association for Computing Machinery
π
English
β 557 KB