coneqct

swMATH40190MaRDI QIDQ55890FDOQ55890

Author name not available (Why is that?)

Source code repository: https://bitbucket-archive.softwareheritage.org/projects/sj/sjr/coneqct.html

Described by source

• A Contextual Equivalence Checker for IMJ*

Cited In (1)

• Algorithmic games for full ground references

This page was built for software: coneqct