Skip to content

Well-Founded Recursive Relations.

Jean Goubault-Larrecq

VenueBCSL
Year2001
ProceedingsCSL

Browse the full CSL paper archive.