gMark

MaRDI QIDQ39199swMATHFDO

Official website https://arxiv.org/abs/1511.08386

Cited in

(3)

• HoTTSQL
• OEuf
• Certified Graph View Maintenance with Regular Datalog

This page was built for software: gMark