Antti Kuusisto. Team Semantics and Recursive Enumerability. In Giuseppe F. Italiano, Tiziana Margaria-Steffen, Jaroslav Pokorný, Jean-Jacques Quisquater, Roger Wattenhofer, Roman Spanek, Martin Rimnac, editors, Proceedings of Student Research Forum Papers and Posters at SOFSEM 2015, the 41st International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2015) , Pec pod Snezkou, Czech Republic, January 24-29, 2015. Volume 1326 of CEUR Workshop Proceedings, pages 132-139, CEUR-WS.org, 2015. [doi]
No references recorded for this publication.
No citations of this publication recorded.