Skip to content

A Linear-Logic Semantics for Constraint Handling Rules.

Hariolf Betz, Thom W. Frhwirth

VenueACP
Year2005
ProceedingsCP

Browse the full CP paper archive.