Results 31 to 40 of about 15,605 (267)
Demised Heroes: Nibelung's Rewritings in contemporary Theater
Griseldaonline, 2023 This essay investigates the actual relationship between heroism and cultural identity through the analysis of the rewriting and transcoding of the Nibelungenlied in four case studies of the postmodern German theater scene, as Heiner John von Düffel ...
Benedetta Bronzini
doaj +1 more source
A Rewriting View of Simple Typing [PDF]
Logical Methods in Computer Science, 2013 This paper shows how a recently developed view of typing as small-step abstract reduction, due to Kuan, MacQueen, and Findler, can be used to recast the development of simple type theory from a rewriting perspective.
Aaron Stump +3 more
doaj +1 more source
, 2003 In this paper, we show how the problem of verifying liveness properties is related to termination of term rewrite systems (TRSs). We formalize liveness in the framework of rewriting and present a sound and complete transformation to transform particular liveness problems into TRSs.
Jürgen Giesl, Hans Zantema
openaire +4 more sources
Triangulation in Rewriting. [PDF]
, 2012 23rd International Conference on Rewriting Techniques and Applications (RTA'12)
Vincent van Oostrom, Hans Zantema
openaire +5 more sources
Rewriting Women and Trauma: Zinnie Harris’s This Restless House
Tiyatro Eleştirmenliği ve Dramaturji Bölümü Dergisi, 2022 This article aims to argue that Zinnie Harris’sThis Restless House, which is a rewriting of Aeschylus’The Oresteia,is an attempt to give voice to Clytemnestra’s and Electra’s disregarded wounds, claiming that overlooked and/or suppressed traumas demand ...
Özlem Karadağ
doaj +1 more source
On Constructing Constrained Tree Automata Recognizing Ground Instances of Constrained Terms [PDF]
Electronic Proceedings in Theoretical Computer Science, 2013 An inductive theorem proving method for constrained term rewriting systems, which is based on rewriting induction, needs a decision procedure for reduction-completeness of constrained terms.
Naoki Nishida +2 more
doaj +1 more source
Les Dossiers du GRIHL, 2023 Contrary to what historiography usually reports, the famous account of the "Relation de la mort de MM. les duc et cardinal de Guise..." was never written by Marc Miron, the 1st physician of Henry 3rd. Our investigation aims at tracing the history of this
Marie-Pierre Litaudon
doaj +1 more source
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background Fertility preservation (FP) is increasingly integrated into the care of pediatric patients exposed to gonadotoxic therapy or conditioning for hematopoietic stem cell transplantation (HSCT), yet perioperative data in infants and toddlers remain scarce.
Kerstin Saalabian +13 more
wiley +1 more source
Cahiers d’Études RomanesFar from condemning the matrix-text to remain frozen in its anteriority, the primacy of the origin authorizes us, according to Walter Benjamin, to traverse history along a trail of rewritings.
Alexis Nuselovici (Nouss)
doaj +1 more source
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background Cerebellar ataxia after pediatric brain tumor treatment can cause persistent gait, balance, and speech impairment, yet no established rehabilitation strategy exists. Somato‐cognitive coordination therapy (SCCT) is a virtual reality–guided intervention designed to promote sensorimotor integration through visually constrained reaching
Masanobu Takeuchi +10 more
wiley +1 more source