Travelled to:
1 × Portugal
Collaborated with:
S.Baselice P.A.Bonatti
Talks about:
program (1) recurs (1) finit (1)
Person: Giovanni Criscuolo
DBLP: Criscuolo:Giovanni
Contributed to:
Wrote 1 papers:
- ICLP-2007-BaseliceBC #on the #recursion #source code
- On Finitely Recursive Programs (SB, PAB, GC), pp. 89–103.