Coalgebraic Semantics for Derivations in Logic Programming

Research output: Chapter in Book/Report/Conference proceedingChapter

15 Citations (Scopus)

Fingerprint Dive into the research topics of 'Coalgebraic Semantics for Derivations in Logic Programming'. Together they form a unique fingerprint.

Mathematics