-
Éthique de la métafiction : éléments pour un postréalisme en littérature angl...
Cette synthèse, qui porte sur un corpus de travaux antérieurs, ne se limite ni à un bilan ni à un arrêt sur image. En tentant de dégager une permanence dans le... -
Design and implementation of a proof verifying kernel for the λΠ-calculus modulo
In recent years, the emergence of feature rich and mature interactive proof assistants has enabled large formalization efforts of high-profile conjectures and results... -
Des "histoires tristes" aux trames de l'histoire: la réécriture par Shakespea...
This dataset has no description
-
Kleene algebra, Rewriting modulo AC and Circuits in Coq.
This thesis describe three formalisations in Coq. The first chapter is devoted to the implementation of an efficient decision procedure for Kleene algebras : as... -
A type system for embedded rewriting programming
In software engineering, type systems are often considered in order to prevent the occurrence of meaningless terms in regard to a type specification. When extending a... -
La réécriture théâtrale au miroir du roman : va-et-vient transmodaux de Dumas...
International audience -
Récrits
Textes réunis par Franck Bauer ; introduction de Franck Bauer. -
Houdar de La Motte : du vers à la prose, et inversement
Textes réunis par Franck Bauer. ISBN : 978-2-84133-384-4. -
Que la parole vive ! Olivier Py et le verbe eschyléen
National audience -
Le Mythe en creux, entretien avec Michel Vinaver et Gilone Brun
Retours d'Iphigénie. D'Euripide à Ritsos : autour de quelques représentations d'Iphigénie sur la scène contemporaine, actes de la journée d'Etudes organisée par l'IET, Paris... -
Voltaire et la réécriture ou comment représenter la scène du matricide
Titre de la communication dans l'ouvrage : Voltaire et la réécriture ou comment représenter la scène du matricule.Textes réunis par Franck Bauer. ISBN : 978-2-84133-384-4. -
Governance and Analysis of Business Processes Change Impact on Service Orient...
Most companies evolve in competitive markets by quickly adapting their business processes. Their performance depends on their capability to adopt continuous... -
" Cristal et Clarie à la fontaine de Narcisse : quelques réflexions sur le pl...
Analyse de l'écriture spéculaire de Cristal et Clarie, à la lumière de la réécriture du Lai de Narcisse. -
" Quelques traits épiques dans Cristal et Clarie "
Analyse des modes de réécriture des thèmes, motifs et formules épiques dans un roman anthologique en vers du XIIIe siècle. -
Strengthening the heart of an SMT-solver : Design and implementation of effic...
This thesis tackles the problem of automatically proving the validity of mathematical formulas generated by program verification tools. In particular, it focuses on... -
Writing again judas'Bible figure in modern roman
Traditional historiography presents Judas as a Devil hero, with a negative influence.That thesis would like to refuse the dogmatic version of the Bible, about Judas,... -
Les palimpsestes du théâtre de Tchekhov
International audience -
The oulipian ''translator'' : the medieval library of Jacques Roubaud
This thesis examines how the Oulipian Jacques Roubaud, while rewriting texts and motifs from Middle Ages, also recaptures an ancient practice of literature. Indeed,... -
La traduction onomastique : sur les traces d'une hétérogénéité pluriactualisé...
This dataset has no description
