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
Ano de publicación: 2007
Volume: 4578 LNAI
Páxinas: 37-44
Tipo: Achega congreso