Christian Retoré

Statistics

Publications

Citations

586

H-Index

Active since

1994

Affiliations

Laboratoire Bordelais de Recherche en Informatique(Current)

Institut national de recherche en sciences et technologies du numérique

Institut Polytechnique de Bordeaux

Université Toulouse-I-Capitole

Université Toulouse III - Paul Sabatier

Christian Retoré is an author at Laboratoire Bordelais de Recherche en Informatique specializing in automated reasoning, engineering, and linguistics.

ORCID

Top concepts

Automated ReasoningLanguageSemanticsEngineeringLinguisticsFormal MethodsComputer ScienceSyntaxComputational LinguisticsGrammar

Publications per year

1994–2017

Publications

The Logic of Categorial Grammars: A Deductive Account of Natural Language Syntax and Semantics

Christian Retoré, Richard Moot · HAL (Le Centre pour la Communication Scientifique Directe) · 2012 · 82 citations

The mix rule

Arnaud Fleury, Christian Retoré · Mathematical Structures in Computer Science · 1994 · 58 citations

Algebraic Logic, Mixture Distribution, Abstract Algebra +9

Towards a Type-Theoretical Account of Lexical Semantics

Christian Bassac, Bruno Mery, Christian Retoré · Journal of Logic Language and Information · 2009 · 56 citations

Syntax, Type Theory, Lexical Semantics +3

An Automata-Theoretic Approach to Minimalism

Gregory M. Kobele, Christian Retoré, Sylvain Salvati · HAL (Le Centre pour la Communication Scientifique Directe) · 2007 · 49 citations

Handsome proof-nets: perfect matchings and cographs

Christian Retoré · Theoretical Computer Science · 2003 · 46 citations

Engineering, Graph Theory, Extremal Graph Theory +7

1–5 of 18