Sign in

Regular corecursion in Prolog.

Davide Ancona
Published in: Comput. Lang. Syst. Struct. (2013)
Keyphrases