Detail

Publication date: 1 de June, 2021

Publication On Fixed-Points of Multivalued Functions on Complete Lattices and Their Application to Generalized Logic Programs – Journal SIAM Journal on Computing (SICOMP)


Journal SIAM Journal on Computing (SICOMP)
Publisher Society for Industrial and Applied Mathematics
Volume 38
Number 5
Pub. Date 01/01/2009