Skip to Main content Skip to Navigation

inria-00133557v3  Conference papers
Paul BraunerClement HoutmannClaude Kirchner. Principles of Superdeduction
Twenty-Second Annual IEEE Symposium on Logic in Computer Science - LiCS 2007, Jul 2007, Wroclaw, Poland. ⟨10.1109/LICS.2007.37⟩
inria-00001146v1  Conference papers
Emilie BallandClaude KirchnerPierre-Etienne Moreau. Formal Islands
11th International Conference on Algebraic Methodology and Software Technology - AMAST '06, Jul 2006, Kuressaare, Estonia. pp.51-65
inria-00121760v1  Journal articles
Nachum DershowitzClaude Kirchner. Abstract canonical presentations
Theoretical Computer Science, Elsevier, 2006, Theoretical Computer Science, 357 (1-3), pp.53--69. ⟨10.1016/j.tcs.2006.03.012⟩
inria-00072840v1  Reports
Horatiu CirsteaClaude Kirchner. Introduction to the Rewriting Calculus
[Research Report] RR-3818, INRIA. 1999, pp.50
inria-00077199v1  Reports
Gilles DowekThérèse HardinClaude Kirchner. Theorem Proving Modulo
[Research Report] RR-3400, INRIA. 1998, pp.27
inria-00001186v1  Conference papers
Emilie BallandClaude KirchnerPierre-Etienne MoreauAnderson Santana de Oliveira. Modular Formal Islands: Embed theory in your practice
Third Taiwanese-French Conference on Information Technology - TFIT 2006, INRIA/LORIA, Mar 2006, Nancy/France
inria-00000750v1  Conference papers
Claude KirchnerHélène KirchnerAnderson Santana de Oliveira. Anchoring modularity in HTML.
1st International Workshop on Automated Specification and Verification of Web Sites - WWV'05, Mar 2005, Valencia/Spain, pp.139-151
inria-00099309v1  Reports
Horatiu CirsteaClaude KirchnerLuigi Liquori. A Rho Cube
[Intern report] A00-R-344 || cirstea00d, LORIA, UMR 7503, Université de Lorraine, CNRS, Vandoeuvre-lès-Nancy. 2000, 18 p
inria-00098715v1  Conference papers
Horatiu CirsteaClaude Kirchner. Using Rewriting and Strategies for Describing the B Predicate Prover
Proceedings of the Workshop on Strategies in Automated Deduction - CADE-15, F. Pfenning, B. Gramlich, 1998, Lindau, Germany, pp.23-34
inria-00100532v1  Journal articles
Horatiu CirsteaClaude Kirchner. The Rewriting Calculus - Part II
Logic Journal of the IGPL, Oxford University Press (OUP), 2001, 9 (3), pp.465-498. ⟨10.1093/jigpal/9.3.377⟩
inria-00101024v1  Conference papers
Eric DeplagneClaude Kirchner. Deduction versus Computation: the Case of Induction
Sixth International Conference on Artificial Intelligence and Symbolic Computation - AISC'2002, Jul 2002, Marseille, France, pp.4-6
inria-00100095v1  Conference papers
Clara BertolissiPaolo BaldanHoratiu CirsteaClaude Kirchner. A rewriting calculus for cyclic higher-order term graphs
2nd International Workshop on Term Graph Rewriting - TERMGRAPH'2004, Oct 2004, Rome, Italy, 20 p
inria-00099411v1  Conference papers
Horatiu CirsteaClaude KirchnerLuigi LiquoriBenjamin Wack. The rho cube : some results, some problems
First International Workshop on Higher-Order Rewriting Copenhagen, Denmark, July 21st, 2002 Affiliated with RTA 2002, D. Kesner, T. Nipkow and F. van Raamsdonk, Jul 2002, Copenhague, Denmark
inria-00099052v1  Conference papers
Horatiu CirsteaClaude Kirchner. The simply typed rewriting calculus
3rd International Workshop on Rewriting Logic & its Applications - WRLA2000, Sep 2000, none, 19 p
inria-00107865v1  Conference papers
Claude Kirchner. ELAN ou la programmation par réécriture
FAC 2000, May 2000, Toulouse, France, 96 p
inria-00107640v1  Conference papers
Clara BertolissiHoratiu CirsteaClaude Kirchner. Translating Combinatory Reduction Systems into the Rewriting Calculus
4th International Workshop on Rule-Based Programming - RULE 2003, 2003, Valencia, Spain
inria-00000729v2  Conference papers
Frédéric BlanquiClaude KirchnerColin Riba. On the confluence of lambda-calculus with conditional rewriting
Foundations of Software Science and Computation Structures, Mar 2006, Vienne, Austria. ⟨10.1007/11690634_26⟩