Collaborated with:
F.Denis
Talks about:
procedur (1) fixpoint (1) program (1) unfold (1) semant (1) logic (1)
Person: Jean-Paul Delahaye
DBLP: Delahaye:Jean=Paul
Contributed to:
Wrote 1 papers:
- WSA-1991-DenisD #fixpoint #logic programming #semantics #source code
- Unfolding, Procedural and Fixpoint Semantics of Logic Programs (FD, JPD), pp. 157–164.