Claude Kirchner
École normale supérieure de Lyon
Network
Latest external collaboration on country level. Dive into details by clicking on the dots.
Publication
Featured researches published by Claude Kirchner.
Handbook of the History of Logic | 2014
Claude Kirchner; Hélène Kirchner
In this survey, we do not address higher order logics nor type theory, but rather restrict to first-order concepts. We focus on equational logic and its relation to rewriting logic and we consider their impact on automated deduction and programming languages.
arXiv: Logic in Computer Science | 2001
Emmanuel Beffara; Olivier Bournez; Hassen Kacem; Claude Kirchner
Archive | 2008
Claude Kirchner; Florent Kirchner; Hélène Kirchner
Third Taiwanese-French Conference on Information Technology - TFIT 2006 | 2006
Emilie Balland; Claude Kirchner; Pierre-Etienne Moreau; Anderson Santana de Oliveira
Computational Logic | 2014
Claude Kirchner; Hélène Kirchner
Archive | 2008
Claude Kirchner; Radu Kopetz; Pierre-Etienne Moreau
Archive | 2008
Claude Kirchner; Michael Moossen; Pierre-Etienne Moreau
Les Cahiers de l'INRIA - La Recherche | 2008
Hélène Kirchner; Claude Kirchner; Isabelle De Lamberterie
Archive | 2007
Horatiu Cirstea; Germain Faure; Claude Kirchner; Oana Andrei; Hélène Kirchner; Clément Houtmann
Archive | 2007
Horatiu Cirstea; Claude Kirchner; Pierre-Etienne Moreau
Collaboration
Dive into the Claude Kirchner's collaboration.
