Login / Signup

On Fixed-Points of Multivalued Functions on Complete Lattices and Their Application to Generalized Logic Programs.

Umberto StracciaManuel Ojeda-AciegoCarlos Viegas Damásio
Published in: SIAM J. Comput. (2009)
Keyphrases