Claude Kirchner

Claude Kirchner

Institut National de Recherche en Informatique et Automatique - Le Chesnay-Rocquencourt / France
Others
AD Scientific Index ID: 4419062
French National Institute for Research in Computer Science and Control
person_outline Claude Kirchner's MOST POPULAR ARTICLES
1-) An introduction to OBJ 3J Goguen, C Kirchner, H Kirchner, A Mégrelis, J Meseguer, T WinklerInternational Workshop on Conditional Term Rewriting Systems, 258-263, 19875021987
2-) Theorem proving moduloG Dowek, T Hardin, C KirchnerJournal of Automated Reasoning 31, 33-72, 20033542003
3-) An overview of ELANP Borovanský, C Kirchner, H Kirchner, PE Moreau, C RingeissenElectronic Notes in Theoretical Computer Science 15, 55-70, 19983311998
4-) Lecture notes in computer science (including subseries lecture notes in artificial intelligence and lecture notes in bioinformatics): PrefaceM Abe, K Aoki, G Ateniese, R Avanzi, Z Beerliová, O Billet, A Biryukov, ...Lecture Notes in Computer Science (including subseries Lecture Notes in …, 2006266*2006
5-) Higher-order unification via explicit substitutionsG Dowek, T Hardin, C KirchnerProceedings of Tenth Annual IEEE Symposium on Logic in Computer Science, 366-374, 1995264*1995