Yedalog

MaRDI QIDQ40609swMATHFDO

Official website https://pub-tools-public-publication-data.storage.googleapis.com/pdf/43462.pdf

Cited in

(4)

• DELORES
• EmptyHeaded
• Flix
• Certifying standard and stratified Datalog inference engines in SSReflect

This page was built for software: Yedalog