Constrained Expressions and their Derivatives - Archive ouverte HAL Access content directly
Journal Articles Fundamenta Informaticae Year : 2016

Constrained Expressions and their Derivatives

Domains

Computer Science [cs]

Ludovic Mignot  : Connect in order to contact the contributor

https://hal-normandie-univ.archives-ouvertes.fr/hal-02335271

Submitted on : Monday, October 28, 2019-11:09:51 AM

Last modification on : Thursday, February 23, 2023-11:40:29 AM

Consult the full text

Dates and versions

hal-02335271 , version 1 (28-10-2019)

Identifiers

Cite

Jean-Marc Champarnaud, Ludovic Mignot, Florent Nicart. Constrained Expressions and their Derivatives. Fundamenta Informaticae, 2016, 149 (3), pp.311--361. ⟨10.3233/FI-2016-1451⟩. ⟨hal-02335271⟩

Export

BibTeX TEI Dublin Core DC Terms EndNote Datacite

Collections

INSA-ROUEN LITIS COMUE-NORMANDIE UNIROUEN UNILEHAVRE INSA-GROUPE
14 View
0 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More