Paper Description: MIP-9714
BibTeX entry:
@incollection{MIP-9714,
author="M. Fairtlough, M. Mendler, M. Walton"
title="First-order Lax Logic as a Framework for Constraint Logic Programming",
institution="Fakult{\"a}t f{\"u}r Mathematik und Informatik,
Universit{\"a}t Passau",
year=1997,
number={MIP-9714}
}
Abstract:
Paper itself:
Cross links:
Ulrike Peiker, Martin Griebl