Yedalog

swMATH28895MaRDI QIDQ40609FDOQ40609

Author name not available (Why is that?)

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