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

A living monograph for graph transformation

Item request has been placed! ×
Item request cannot be made. ×
loading   Processing Request
اقرأ أكثر حفظ في قائمتي
  • معلومة اضافية
    • Contributors:
      Institut de Recherche en Informatique Fondamentale (IRIF (UMR_8243)); Centre National de la Recherche Scientifique (CNRS)-Université Paris Cité (UPCité); Preuves et Langages (PLUME); Laboratoire de l'Informatique du Parallélisme (LIP); École normale supérieure de Lyon (ENS de Lyon)-Université Claude Bernard Lyon 1 (UCBL); Université de Lyon-Université de Lyon-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure de Lyon (ENS de Lyon)-Université Claude Bernard Lyon 1 (UCBL); Université de Lyon-Université de Lyon-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS); ANR-22-CE48-0015,CoREACT,Réécriture basée sur Coq : vers une théorie des catégories appliquée exécutable(2022)
    • بيانات النشر:
      HAL CCSD
      Springer Nature Switzerland
    • الموضوع:
      2023
    • الموضوع:
      United Kingdom
    • الموضوع:
      Leicester, United Kingdom
    • نبذة مختصرة :
      International audience ; A preliminary account of the notion of a living monograph for the field of graph transformation, and the reasons that led us to it, is given. The advantages of such a system are discussed along with the technical problems that will need to be overcome in order to build it.
    • Relation:
      hal-04177321; https://hal.science/hal-04177321; https://hal.science/hal-04177321/document; https://hal.science/hal-04177321/file/ICGT_2023.pdf
    • الرقم المعرف:
      10.1007/978-3-031-36709-0_15
    • Rights:
      info:eu-repo/semantics/OpenAccess
    • الرقم المعرف:
      edsbas.59D1235B