Travelled to:
1 × Belgium
Collaborated with:
M.Alpuente M.Falaschi
Talks about:
increment (1) inconsist (1) program (1) analys (1) logic (1) equat (1)
Person: Ferdinando Manzo
DBLP: Manzo:Ferdinando
Contributed to:
Wrote 1 papers:
- PLILP-1992-AlpuenteFM #analysis #consistency #equation #incremental #logic programming #nondeterminism
- Analyses of Inconsistency for Incremental Equational Logic Programming (MA, MF, FM), pp. 443–457.