Skip to content

A Parameterised Module System for Constructing Typed Logic Programs.

Patricia M. Hill

VenueA*IJCAI
Year1993
ProceedingsIJCAI

Browse the full IJCAI paper archive.