gMark

swMATH27483MaRDI QIDQ39199FDOQ39199

Author name not available (Why is that?)

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