Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Quantum
  4. Synthesising Graphical Theories

Synthesising Graphical Theories

Aleks Kissinger

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

Links

See Also

Back to Top