Skip to main content

Synthesising Graphical Theories

Aleks Kissinger

Book Title
Proceedings of the workshop on Automated Theory eXploration (ATX)
Year
2012