المؤلفون: Maestracci, Valentin, Pistone, Paolo

مصطلحات موضوعية: Computer Science - Logic in Computer Science, Computer Science - Programming Languages, Mathematics - Logic, F.4.1, F.3.2

URL الوصول: http://arxiv.org/abs/2411.11809

المؤلفون: Maestracci, Valentin, Seiller, Thomas

المصدر: FSCD, Sapienza Universit{\`a} Di Roma, Jul 2023, Rome, Italy

مصطلحات موضوعية: Computer Science - Logic in Computer Science

URL الوصول: http://arxiv.org/abs/2310.19339

المؤلفون: Barras, Bruno, Maestracci, Valentin

المصدر: EPTCS 332, 2021, pp. 54-67

مصطلحات موضوعية: Computer Science - Logic in Computer Science

URL الوصول: http://arxiv.org/abs/2101.03810

المؤلفون: Kerjean, Marie, Maestracci, Valentin, Rogers, Morgan

المساهمون: Institut des sciences informatiques et de leurs interactions - CNRS Sciences informatiques (INS2I-CNRS), Laboratoire d'Informatique de Paris-Nord (LIPN), Centre National de la Recherche Scientifique (CNRS)-Université Sorbonne Paris Nord, Institut de Mathématiques de Marseille (I2M), Aix Marseille Université (AMU)-École Centrale de Marseille (ECM)-Centre National de la Recherche Scientifique (CNRS)

المصدر: https://hal.science/hal-04292862 ; 2023.

مصطلحات موضوعية: [INFO]Computer Science [cs]

Relation: hal-04292862; https://hal.science/hal-04292862; https://hal.science/hal-04292862/document; https://hal.science/hal-04292862/file/main.pdf

الاتاحة: https://hal.science/hal-04292862
https://hal.science/hal-04292862/document
https://hal.science/hal-04292862/file/main.pdf

المؤلفون: Barras, Bruno, Maestracci, Valentin

المساهمون: Deduction modulo, interopérabilité et démonstration automatique (DEDUCTEAM), Inria Saclay - Ile de France, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire Spécification et Vérification (LSV), Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-Ecole Normale Supérieure Paris-Saclay (ENS Paris Saclay)-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-Ecole Normale Supérieure Paris-Saclay (ENS Paris Saclay)

المصدر: LFMPT 2020 - Logical Frameworks and Meta-Languages: Theory and Practice 2020 ; https://inria.hal.science/hal-03138145 ; LFMPT 2020 - Logical Frameworks and Meta-Languages: Theory and Practice 2020, Jun 2020, Paris, France

مصطلحات موضوعية: [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

جغرافية الموضوع: Paris, France

Relation: hal-03138145; https://inria.hal.science/hal-03138145; https://inria.hal.science/hal-03138145/document; https://inria.hal.science/hal-03138145/file/main.pdf

الاتاحة: https://inria.hal.science/hal-03138145
https://inria.hal.science/hal-03138145/document
https://inria.hal.science/hal-03138145/file/main.pdf