A fixed-point theorem for multi-valued functions with an application to multilattice-based logic programming
- Medina, J.
- Ojeda-Aciego, M.
- Ruiz-Calviño, J.
ISSN: 1611-3349, 0302-9743
ISBN: 9783540733997
Año de publicación: 2007
Volumen: 4578 LNAI
Páginas: 37-44
Tipo: Aportación congreso