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

REFERENCES 69
Cali:2012:QUC
[262] Andrea Calì, Georg Gottlob, and Giorgio Orsi. Querying UML class diagrams.
Lecture Notes in Computer Science, 7213:1–25, 2012. CODEN
LNCSD9. ISSN 0302-9743 (print), 1611-3349 (electronic). URL http://
link.springer.com/chapter/10.1007/978-3-642-28729-9_1/.
Winskel:2012:BCG
[263] Glynn Winskel. Bicategories of concurrent games. Lecture Notes in
Computer Science, 7213:26–41, 2012. CODEN LNCSD9. ISSN 0302-
9743 (print), 1611-3349 (electronic). URL http://link.springer.com/
chapter/10.1007/978-3-642-28729-9_2/.
Atkey:2012:FIM
[264] Robert Atkey, Neil Ghani, and Bart Jacobs. Fibrational induction meets
effects. Lecture Notes in Computer Science, 7213:42–57, 2012. CODEN
LNCSD9. ISSN 0302-9743 (print), 1611-3349 (electronic). URL http://
link.springer.com/chapter/10.1007/978-3-642-28729-9_3/.
Adamek:2012:CPM
[265] Jiˇrí Adámek and Filippo Bonchi. A coalgebraic perspective on minimization
and determinization. Lecture Notes in Computer Science, 7213:
58–73, 2012. CODEN LNCSD9. ISSN 0302-9743 (print), 1611-3349
(electronic). URL http://link.springer.com/chapter/10.1007/978-
3-642-28729-9_4/.
Ahman:2012:WCC
[266] Danel Ahman, James Chapman, and Tarmo Uustalu. When is a container
a comonad? Lecture Notes in Computer Science, 7213:74–88,
2012. CODEN LNCSD9. ISSN 0302-9743 (print), 1611-3349 (electronic).
URL http://link.springer.com/chapter/10.1007/978-3-
642-28729-9_5/.
Adamek:2012:WPC
[267] Jiˇrí Adámek, Stefan Milius, and Lawrence S. Moss. Well-pointed coalgebras
(extended abstract). Lecture Notes in Computer Science, 7213:
89–103, 2012. CODEN LNCSD9. ISSN 0302-9743 (print), 1611-3349
(electronic). URL http://link.springer.com/chapter/10.1007/978-
3-642-28729-9_6/.
Bove:2012:CIA
[268] Ana Bove and Peter Dybjer. Combining interactive and automatic reasoning
in first order theories of functional programs. Lecture Notes in