1 |
« L’écriture dite inclusive : réflexions linguistiques »
|
|
|
|
In: Groupe de recherche sur la Représentation du dire et des discours ; https://hal.archives-ouvertes.fr/hal-02520863 ; Groupe de recherche sur la Représentation du dire et des discours, Feb 2018, Paris (Université Paris III-Sorbonne Nouvelle), France (2018)
|
|
BASE
|
|
Show details
|
|
2 |
Bases linguistiques de l’émancipation : système anglais, système français
|
|
|
|
In: Mots. Les langages du politique, n 113, 1, 2017-04-03, pp.9-36 (2017)
|
|
BASE
|
|
Show details
|
|
3 |
L'Académie contre la langue française. Le dossier "féminisation"
|
|
|
|
In: https://halshs.archives-ouvertes.fr/halshs-02043027 ; Editions ixe, 224 p., 2016, xx-y-z (2016)
|
|
BASE
|
|
Show details
|
|
4 |
Enseigner la grammaire du genre : à propos du traitement idéologique de la langue dans les manuels scolaires de CE1
|
|
|
|
In: Le français aujourd'hui, N 193, 2, 2016-07-01, pp.33-44 (2016)
|
|
BASE
|
|
Show details
|
|
6 |
Automated Synthesis of a Finite Complexity Ordering for Saturation ...
|
|
|
|
Abstract:
We present in this paper a new procedure to saturate a set of clauses with respect to a well-founded ordering on ground atoms such that A < B implies Var(A) {\subseteq} Var(B) for every atoms A and B. This condition is satisfied by any atom ordering compatible with a lexicographic, recursive, or multiset path ordering on terms. Our saturation procedure is based on a priori ordered resolution and its main novelty is the on-the-fly construction of a finite complexity atom ordering. In contrast with the usual redundancy, we give a new redundancy notion and we prove that during the saturation a non-redundant inference by a priori ordered resolution is also an inference by a posteriori ordered resolution. We also prove that if a set S of clauses is saturated with respect to an atom ordering as described above then the problem of whether a clause C is entailed from S is decidable. ...
|
|
Keyword:
FOS Computer and information sciences; Logic in Computer Science cs.LO
|
|
URL: https://arxiv.org/abs/1203.2809 https://dx.doi.org/10.48550/arxiv.1203.2809
|
|
BASE
|
|
Hide details
|
|
8 |
La Syllepse. Figure stylistique
|
|
|
|
In: https://halshs.archives-ouvertes.fr/halshs-01288736 ; Presses universitaires de Lyon. France. 2006, collection "Textes & Langue", 978-2-7297-0779-8 ; http://presses.univ-lyon2.fr/produit.php?id_produit=740&id_collection=56 (2006)
|
|
BASE
|
|
Show details
|
|
9 |
La Syllepse, figure stylistique
|
|
|
|
In: https://halshs.archives-ouvertes.fr/halshs-02043522 ; Yannick Chevalier et Philippe Wahl (éds.). PUL, 438 p., 2006, coll. Textes & Langue, ⟨10.4000/books.pul.20403⟩ (2006)
|
|
BASE
|
|
Show details
|
|
|
|