Compositional logic programming

Project Details


Logic programming is programming within certain fragments of logic.
We advocate an operator form of logic which encourage compositional
programming, and we examine theoretical and methodological aspects
of the approach.
Effective start/end date01/12/200001/01/9999


Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.