Cited By
View all- Murawski ATzevelekos N(2018)Algorithmic games for full ground referencesFormal Methods in System Design10.5555/3220753.322085452:3(277-314)Online publication date: 1-Jun-2018
- Kammar OLevy PMoss SStaton SAceto LIngólfsdóttir A(2017)A monad for full ground reference cellsProceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science10.5555/3329995.3330044(1-12)Online publication date: 20-Jun-2017
- Reddy UDunphy B(2012)An automata-theoretic model of idealized algolProceedings of the 39th international colloquium conference on Automata, Languages, and Programming - Volume Part II10.1007/978-3-642-31585-5_32(337-350)Online publication date: 9-Jul-2012
- Show More Cited By