Fixpoints for the masses: programming with first-class Datalog constraints

Magnus Madsen, Ondrej Lhoták

Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

Fingeraftryk

Dyk ned i forskningsemnerne om 'Fixpoints for the masses: programming with first-class Datalog constraints'. Sammen danner de et unikt fingeraftryk.

Computer Science