Travelled to:1 × Cyprus
1 × Japan
Collaborated with:J.M.Almendros-Jiménez J.Sánchez-Hernández
Talks about:function (2) logic (2) framework (1) program (1) databas (1) direct (1) deduct (1) comput (1) bottom (1) model (1)
Person: Antonio Becerra-Terón
DBLP: Becerra-Ter=oacute=n:Antonio
Contributed to:
2001
2001Wrote 2 papers:
- FLOPS-2001-Almendros-JimenezB #bottom-up #evaluation #framework #functional #logic programming #source code
- A Framework for Goal-Directed Bottom-Up Evaluation of Functional Logic Programs (JMAJ, ABT), pp. 153–169.
- ICLP-2001-Almendros-JimenezBS #database #deduction #functional #logic
- A Computational Model for Functional Logic Deductive Databases (JMAJ, ABT, JSH), pp. 331–347.