Coalgebraic Semantics for Derivations in Logic Programming

Research output: Chapter in Book/Report/Conference proceedingChapter

18 Citations (Scopus)

Fingerprint

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

INIS

Mathematics