Open Graphs and Computational Reasoning
Lucas Dixon‚ Ross Duncan and and Aleks Kissinger
Book Title
Proceedings of the 6th workshop on Developments in Computational Models
Series
Electronic Proceedings in Theoretical Computer Science (EPTCS)
Volume
26
Year
2010