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

CoLoR: a Coq library on rewriting and termination

Subjects: Coq; proof; terminationSeattle; United States

  • Source: Eighth International Workshop on Termination - WST 2006 ; https://inria.hal.science/inria-00084835 ; Eighth International Workshop on Termination - WST 2006, Aug 2006, Seattle, United States

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

×
Conference

GRASS: A SYNTACTIC TEXT SIMPLIFICATION SYSTEM BASED ON SEMANTIC REPRESENTATIONS

Subjects: Syntactic Text Simplification; Graph-Based Meaning Representation; DMRSCopenhagen; Denmark

  • Source: 11th International Conference on Natural Language Processinghttps://hal.science/hal-0386514211th International Conference on Natural Language Processing, Sep 2022, Copenhagen, Denmark

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

×
Dissertation/ Thesis

Taylor Approximation and Infinitary λ-Calculi ; Développement de Taylor et λ-calcul infinitaire

Subjects: Lambda-calculus; Mathematical logic; Theoretical computer science

  • Source: https://hal.science/tel-04664728 ; Mathematics [math]. Aix-Marseille Université, 2024. English. ⟨NNT : 2024AIXM0148⟩.

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

×
  • 1-10 ل  52 نتائج ل ""Rewriting""