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
Datum der Publikation: 2007
Ausgabe: 4578 LNAI
Seiten: 37-44
Art: Konferenz-Beitrag