Constrained Expressions and their Derivatives

Jean-Marc Champarnaud; Ludovic Mignot; Florent Nicart

Homepage
Deposit
Discover
Use
Collections & tools

Journal articles

Constrained Expressions and their Derivatives

Jean-Marc Champarnaud ¹ Ludovic Mignot ² Florent Nicart

1 LITIS - Laboratoire d'Informatique, de Traitement de l'Information et des Systèmes

2 UNIROUEN - Université de Rouen Normandie

Jean-Marc Champarnaud ¹ AuthorId : 639088
Author

Ludovic Mignot ² AuthorId : 11451585
Author Employer institution : Université de Rouen Normandie

Florent Nicart AuthorId : 418078
Author

1 LITIS - Laboratoire d'Informatique, de Traitement de l'Information et des Systèmes (Avenue de l'Université 76800 Saint-Étienne-du-Rouvray - France) StructId : 23832

ULH - Université Le Havre Normandie (25 rue Philippe Lebon - BP 1123 - 76063 Le Havre Cedex France - France) StructId : 300317
- NU - Normandie Université (Esplanade de la Paix - CS 14032 - 14032 Caen Cedex 5 - France) StructId : 455934
UNIROUEN - Université de Rouen Normandie : EA4108 (1, rue Thomas Becket 76821 Mont-Saint-Aignan Cedex - France) StructId : 300318
- NU - Normandie Université (Esplanade de la Paix - CS 14032 - 14032 Caen Cedex 5 - France) StructId : 455934
INSA Rouen Normandie - Institut national des sciences appliquées Rouen Normandie (Avenue de l’Université 76801 Saint-Étienne-du-Rouvray Cedex - France) StructId : 301288
- NU - Normandie Université (Esplanade de la Paix - CS 14032 - 14032 Caen Cedex 5 - France) StructId : 455934
- INSA - Institut National des Sciences Appliquées (France) StructId : 301232

2 UNIROUEN - Université de Rouen Normandie (1, rue Thomas Becket 76821 Mont-Saint-Aignan Cedex - France) StructId : 300318

NU - Normandie Université (Esplanade de la Paix - CS 14032 - 14032 Caen Cedex 5 - France) StructId : 455934

Document type :

Journal articles

Domain :

Computer Science [cs]

Complete list of metadatas

https://hal-normandie-univ.archives-ouvertes.fr/hal-02335289
Contributor : Ludovic Mignot <>
Submitted on : Monday, October 28, 2019 - 11:10:22 AM
Last modification on : Tuesday, October 29, 2019 - 1:39:16 AM

Identifiers

HAL Id : hal-02335289, version 1

Collections

Citation

Jean-Marc Champarnaud, Ludovic Mignot, Florent Nicart. Constrained Expressions and their Derivatives. CoRR, 2014, abs/1406.6144. ⟨hal-02335289⟩

Constrained Expressions and their Derivatives

Identifiers

Collections

Citation

Export

Metrics

16

Constrained Expressions and their Derivatives

Identifiers

Collections

Citation

Export

Share

Metrics

16