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
Any de publicació: 2007
Volum: 4578 LNAI
Pàgines: 37-44
Tipus: Aportació congrés