Retoré, Christian.
Retoré, Christian, 1964-
![Sudoc [ABES], France](/viaf/images/flags/SUDOC.png "Sudoc [ABES], France")
Christian Retoré
VIAF ID: 57350774 (Personal)
Permalink: http://viaf.org/viaf/57350774
Preferred Forms
-
100 0 _
‡a
Christian Retoré
-
100 1 _ ‡a Retoré, Christian
-
100 1 0
‡a
Retoré, Christian
-
100 1 _ ‡a Retoré, Christian
-
100 1 _ ‡a Retoré, Christian
-
100 1 _
‡a
Retoré, Christian,
‡d
1964-....
-
100 1 _
‡a
Retoré, Christian
(sparse)
-
100 1 _ ‡a Retoré, Christian
-
100 1 _ ‡a Retoré, Christian
-
100 1 _
‡a
Retoré, Christian
-
100 1 _ ‡a Retoré, Christian ‡d (1964- )
-
100 1 _ ‡a Retoré, Christian, ‡d 1964-
-
100 1 _ ‡a Retoré, Christian.
4xx's: Alternate Name Forms (4)
Works
| Title | Sources |
|---|---|
| Acquisition de grammaires lexicalisées pour les langues naturelles |
|
| Adverse drug reactions detection in clinical notes. |
|
| Aide à la construction et l'évaluation des preuves mathématiques déductives par les systèmes d'argumentation |
|
| Apprentissage de grammaires catégorielles : transducteurs d'arbres et clustering pour induction de grammaires catégorielles |
|
| Une approche algorithmique intégrée de la théorie du liage. |
|
| Argumentation frameworks for constructing and evaluating deductive mathematical proofs. |
|
| Cognitive science series |
|
| Computing semantic representations and generative grammar : the minimalist categorial grammars. |
|
| Contribution à la traduction automatique français/langue des signes française (LSF) au moyen de personnages virtuels : Contribution à la génération automatique de la LSF |
|
| Détection des effets indésirables des médicaments dans les notes cliniques |
|
| Etude de la stratégie de réécriture de termes k-bornée |
|
| Les évènements en sémantique linguistique et musicale |
|
| Formal verification of a methodology for the design and production of safety-critical digital systems. |
|
| From syntactic tagging for categorial dependency grammars to transition-based parsing in the domain of non-projective dependency parsing. |
|
| An integrated computational approach to binding theory |
|
| Jeux de typage et analyse de lambda-grammaires non-contextuelles |
|
| LACL'96 |
|
| Logic and grammar : essays dedicated to Alain Lecomte on the occasion of his 60th birthday |
|
| The Logic of categorial grammars : a deductive account of natural language syntax and semantics |
|
| Logical aspects of computational linguistics, 1997: |
|
| Mémoires partagées d’alignements sous-phrastiques bilingues. |
|
| Modélisation de préférences pour l'interprétation d'énoncés ambigus. |
|
| Modélisation du Discours avec les Grammaires Catégorielles Abstraites. |
|
| ORDERED SEQUENTS AND PROOF NETS. |
|
| Outline of type-theoretical approaches to lexical semantics |
|
| Les preuves vues comme des jeux et réciproquement : sémantique dialogique de langages naturel ou logiques |
|
| Réflexion, calculs et logiques |
|
| Reflexion, computation and logic. |
|
| Réseaux et séquents ordonnés |
|
| Semantic transducer for interface theories. |
|
| Sémantique des temps du français : une formalisation compositionnelle |
|
| Sémantique lexicale, compositionnalité et coercion. Fondements théoriques des types sémantiques |
|
| Special issue on resource logics and minimalist grammars |
|
| Structure des analyses syntaxiques catégorielles : Application à l'inférence grammaticale |
|
| Study of the k-bounded term rewriting strategy. |
|
| symbolic analysis and inference of metabolic models. |
|
| Vérification formelle d'une méthodologie pour la conception et la production de systèmes numériques critiques |
|
| Visualisation d'information : de la théorie sémiotique à des exemples pratiques basés sur la représentation de graphes et d'hypergraphes |
|
