Skip to content

Schema-Based Transformations of Logic Programs in lambda-Prolog.

Petr Olmer, Petr Stepnek

VenueBICLP
Year2002
ProceedingsICLP

Browse the full ICLP paper archive.