Skip to content

Extensionality of Simply Typed Logic Programs.

Marc Bezem

VenueBICLP
Year1999
ProceedingsICLP

Browse the full ICLP paper archive.