Skip to content

Regular corecursion in Prolog.

Davide Ancona

Year2012
ProceedingsSAC

Browse the full SAC paper archive.