MDGs

swMATH12127MaRDI QIDQ24060FDOQ24060

Author name not available (Why is that?)

Cited In (2)

• LCF-style Platform based on Multiway Decision Graphs
• Automatic verification of reduction techniques in higher order logic

This page was built for software: MDGs