Verbalizing/Visualizing: Theatrical Masks and the Greek Epigram
- 期刊名称The Classical Quarterly (New Series)
- 作者Antonis K. Petrides
- 卷第59卷
- 期第2期
- 印刷ISSN0009-8388
- 电子ISSN1471-6844
- 文件大小1184.45KB
- 发表时间2009-12
- DOI10.2307/20616701
- 页码494-504
Verification of Model TransformationsCalegari, Daniel; Szasz, Nora · Electronic Notes in Theoretical Computer Science · 2013
PrefaceCAVALCANTI, A · Electronic Notes in Theoretical Computer Science · 2004
Pollack-inconsistencyWiedijk, Freek · Electronic Notes in Theoretical Computer Science · 2012
Proving Termination by Policy IterationMassé, Damien · Electronic Notes in Theoretical Computer Science · 2012
Engineering the Prover InterfaceGast, Holger · Electronic Notes in Theoretical Computer Science · 2012
Typed vs. Untyped RealizabilityBerger, Ulrich; Hou, Tie · Electronic Notes in Theoretical Computer Science · 2012
Sweeping in Abstract InterpretationJakubczyk, Krzysztof · Electronic Notes in Theoretical Computer Science · 2012
PrefaceChockler, Hana · Electronic Notes in Theoretical Computer Science · 2013