1 |
On the expressive power of indexed applicative and monadic structures ; Sur le pouvoir expressif des structures applicatives et monadiques indexées
|
|
|
|
In: https://tel.archives-ouvertes.fr/tel-02735749 ; Analyse numérique [cs.NA]. Université Paul Sabatier - Toulouse III, 2019. Français. ⟨NNT : 2019TOU30118⟩ (2019)
|
|
BASE
|
|
Show details
|
|
2 |
The Copying Power of Well-Nested Multiple Context-Free Grammars
|
|
|
|
In: Language and Automata Theory and Applications ; https://hal.inria.fr/inria-00525077 ; Language and Automata Theory and Applications, 2010, Trier, Germany. pp.344-355, ⟨10.1007/978-3-642-13089-2_29⟩ ; http://www.springerlink.com/content/b8w7r53761614lk7/ (2010)
|
|
BASE
|
|
Show details
|
|
3 |
Algebraic types and pattern matching in the logical language of the Why verification platform
|
|
|
|
In: https://hal.inria.fr/inria-00439232 ; [Research Report] RR-7128, INRIA. 2009 (2009)
|
|
BASE
|
|
Show details
|
|
5 |
Production Language : coherent description of the short term (second part) ; Langage de production : description cohérente du court terme (deuxième partie)
|
|
|
|
In: https://hal.inria.fr/inria-00075519 ; [Rapport de recherche] RR-1039, INRIA. 1989, pp.73 (1989)
|
|
BASE
|
|
Show details
|
|
|
|