Skip to content

Regular directional types for logic programs.

Witold Charatonik

VenueCPPDP
Year2007
ProceedingsPPDP

Browse the full PPDP paper archive.