Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request

نتائج البحث

Display Settings
النتائج لكل صفحة: 10
Sort By: Relevance
Filter
  • 1-10 ل  15 نتائج ل ""Rewriting""

فلترة النتائج

Collection : Universite Savoie Mont Blanc
إعادة تعيين خيارات الفبترة
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Academic Journal

Alphabets, rewriting trails and periodic representations in algebraic bases ; Alphabets, chemins de réécriture et représentations périodiques en bases algébriques

Subjects: Dynamical zeta function; beta-shift; automorphism of the complex numbers

  • Source: ISSN: 2363-9555 ; Research in Number Theory ; https://hal.science/hal-03090468 ; Research in Number Theory, 2021, 7 (64), pp.64. ⟨10.1007/s40993-021-00290-w⟩.

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Academic Journal

Cartesian closed 2-categories and permutation equivalence in higher-order rewriting

Subjects: Cartesian closed 2-categories; higher-order rewriting; combinatory reduction systems

  • Source: EISSN: 1860-5974 ; Logical Methods in Computer Science ; https://hal.science/hal-00540205 ; Logical Methods in Computer Science, 2013, 9 (3), pp.10. ⟨10.2168/LMCS-9(3:10)2013⟩

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Academic Journal

RETRANSLATING DINO BUZZATI'S POEMA A FUMETTI: A POST-IDEOLOGICAL REWRITING ? ; LA RETRADUCTION DE POEMA A FUMETTI DE DINO BUZZATI : UNE RÉÉCRITURE POST-IDÉOLOGIQUE ?

Subjects: Retraduction; Buzzati; Mythe

  • Source: ISSN: 1414-526X.

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Conference

Homer in Europa während der Renaissance. Übersetzungen und Interpretationen ; Homer in Europe during the Renaissance. Translation and rewriting ; Homero en Europa en el Renacimiento. Traducciones y reescrituras ; Homère en Europe à la Renaissance. Traductions et réécritures ; Omero in Europa nel Rinascimento. Traduzioni e riscritture

Subjects: Homero; Traducción poética; MétricaChambéry; France

  • Source: Homère en Europe à la Renaissance. Traductions et réécritures ; https://hal.science/hal-01681766 ; Homère en Europe à la Renaissance. Traductions et réécritures, Nov 2013, Chambéry, France.

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Academic Journal

The algebraic lambda-calculus

Subjects: lambda-calculus; rewriting; confluence

  • Source: ISSN: 0960-1295.

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Dissertation/ Thesis

Quelques ponts entre sémantique opérationnelle et modèles dénotationnels des langages de programmation

Subjects: Operational semantics; denotational semantics; game semantics

  • Source: https://hal.science/tel-01400666 ; Logique en informatique [cs.LO]. Université Grenoble Alpes, 2016.

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Report

Boundary conditions at fluid porous interfaces

Subjects: porous media; flow-structure interaction; [SPI]Engineering Sciences [physics]

  • Source: https://hal.science/hal-04179827 ; 2023.

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Conference

Convexity Preserving Contraction of Digital Sets

Subjects: [INFO.INFO-DM]Computer Science [cs]/Discrete Mathematics [cs.DM]Auckland; New Zealand

  • Source: The 5th Asian Conference on Pattern Recognition (ACPR 2019) ; https://hal.science/hal-02315084 ; The 5th Asian Conference on Pattern Recognition (ACPR 2019), Nov 2019, Auckland, New Zealand.

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Academic Journal

Translating the monologue, translating the intertext. Notes on Andrés Neuman’s Hablar solos and Parler seul ; Traducir el monólogo, traducir el intertexto. Notas sobre Hablar solos y Parler seul de Andrés Neuman ; Traduire le monologue, traduire l’intertexte. Notes sur Hablar solos et Parler seul d’Andrés Neuman

Subjects: Andrés Neuman; Traduction; Intertextualité

  • Source: ISSN: 2270-0765 ; HispanismeS ; https://hal.science/hal-04650743 ; HispanismeS, 2018, Hors-série 2, pp.345-359. ⟨10.4000/hispanismes.12383⟩.

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Conference

A complete realisability semantics for intersection types and arbitrary expansion variables

Subjects: [MATH.MATH-LO]Mathematics [math]/Logic [math.LO]Istanbul; Turkey

  • Source: 5th International Colloquium on Theoretical Aspects of Computing, ICTAC 2008, 1-3 September 2008https://hal.science/hal-003826915th International Colloquium on Theoretical Aspects of

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
  • 1-10 ل  15 نتائج ل ""Rewriting""