(2012): Volumes 7200–7249 - Index of files in - University of Utah

REFERENCES 119
Parikh:2012:CUG
[573] Rohit Parikh, Ça˘gıl Ta¸sdemir, and Andreas Witzel. Choice and uncertainty
in games. Lecture Notes in Computer Science, 7230:244–255,
2012. CODEN LNCSD9. ISSN 0302-9743 (print), 1611-3349 (electronic).
URL http://link.springer.com/chapter/10.1007/978-3-
642-29485-3_15/.
Rehof:2012:CIE
[574] Jakob Rehof and Pawe̷l Urzyczyn. The complexity of inhabitation
with explicit intersection. Lecture Notes in Computer Science, 7230:
256–270, 2012. CODEN LNCSD9. ISSN 0302-9743 (print), 1611-3349
(electronic). URL http://link.springer.com/chapter/10.1007/978-
3-642-29485-3_16/.
Salomaa:2012:SSD
[575] Arto Salomaa. On state sequences defined by reaction systems. Lecture
Notes in Computer Science, 7230:271–282, 2012. CODEN LNCSD9. ISSN
0302-9743 (print), 1611-3349 (electronic). URL http://link.springer.
com/chapter/10.1007/978-3-642-29485-3_17/.
Sharp:2012:DC
[576] Alexa Sharp. On distance coloring. Lecture Notes in Computer Science,
7230:283–297, 2012. CODEN LNCSD9. ISSN 0302-9743 (print), 1611-
3349 (electronic). URL http://link.springer.com/chapter/10.1007/
978-3-642-29485-3_18/.
Winskel:2012:WLD
[577] Glynn Winskel. Winning, losing and drawing in concurrent games with
perfect or imperfect information. Lecture Notes in Computer Science,
7230:298–317, 2012. CODEN LNCSD9. ISSN 0302-9743 (print), 1611-
3349 (electronic). URL http://link.springer.com/chapter/10.1007/
978-3-642-29485-3_19/.
Aboul-Hosn:2012:RTD
[578] Kamal Aboul-Hosn. Reflections on a time with Dexter Kozen. Lecture
Notes in Computer Science, 7230:318–321, 2012. CODEN LNCSD9. ISSN
0302-9743 (print), 1611-3349 (electronic). URL http://link.springer.
com/chapter/10.1007/978-3-642-29485-3_20/.
Anonymous:2012:FMbk
[579] Anonymous. Front matter. Lecture Notes in Computer Science, 7230:
??, 2012. CODEN LNCSD9. ISSN 0302-9743 (print), 1611-3349 (elec-