[Lecture Notes in Computer Science] Relational and Kleene-Algebraic Methods in Computer Science Volume 3051 || Towards a Formalisation of Relational Database Theory in Constructive Type Theory
- 作者Berghammer, Rudolf; Möller, Bernhard; Struth, Georg
- 文件大小162.75KB
- 发表时间2004
- DOI10.1007/978-3-540-24771-5_12
- 页码137-148
AfterwordMantoan, Lindsey · Performance Research · 2014
Freedomland by Michael Gene SullivanMantoan, Lindsey · Theatre Journal · 2016
War as Performance (Conflicts in Iraq and Political Theatricality) ||Mantoan, Lindsey · 2018
Political and Protest Theatre after 9/11: Patriotic Dissent ed. by Jenny SpencerMantoan, Lindsey · Theatre Topics · 2014
The Voice from the 10th Row: Carl Weber and the Berliner EnsembleJakovljević, Branislav; Harman, Keara; Hunter, Michael; Lyons, Jamie; Mantoan, Lindsey; Matić, Ljubiša; Murphy, Ciara; Pohlmann, Jens; Tacata, Ryan; Vittori, Giulia · TDR/The Drama Review · 2018
Historians on Hamilton: How a Blockbuster Musical is Restaging America’s Past ed. by Renee C. Romano, Claire Bond PotterMantoan, Lindsey · Journal of Dramatic Theory and Criticism · 2018
<i>Performance, Politics, and the War on Terror: “Whatever It Takes.”</i> By Sara Brady. New York: Palgrave Macmillan, 2012. 224 pp., illustrations. $90.00 clothMantoan, Lindsey · TDR/The Drama Review · 2014