Claude Kirchner
35
Documents
Identifiants chercheurs
- claudekirchner
- 0000-0002-1686-1046
- IdRef : 032478739
Présentation
Publications
- 35
- 9
- 6
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
Anti-patterns for Rule-based LanguagesJournal of Symbolic Computation, 2010, 54 (5), pp.523-550. ⟨10.1016/j.jsc.2010.01.007⟩
Article dans une revue
inria-00429226v1
|
|
A rewriting calculus for cyclic higher-order term graphsMathematical Structures in Computer Science, 2007, 17 (3), pp.363-406. ⟨10.1017/S0960129507006093⟩
Article dans une revue
inria-00110872v1
|
|
|
A Rho-Calculus of explicit constraint applicationHigher-Order and Symbolic Computation, 2007, Special Issue on Rewriting Logic and its Applications, 20, pp.37-72. ⟨10.1007/s10990-007-9004-2⟩
Article dans une revue
inria-00000628v3
|
Expressing Combinatory Reduction Systems Derivations in the Rewriting CalculusHigher-Order and Symbolic Computation, 2006
Article dans une revue
inria-00110869v1
|
|
Rewriting and Multisets in Rho-calculus and ELANRomanian Journal of Information Science and Technology, 2001, 4 (1-2), pp.33--48
Article dans une revue
inria-00100656v1
|
|
The Rewriting Calculus - Part IILogic Journal of the IGPL, 2001, 9 (3), pp.465-498. ⟨10.1093/jigpal/9.3.377⟩
Article dans une revue
inria-00100532v1
|
|
The Rewriting Calculus - Part ILogic Journal of the IGPL, 2001, 9 (3), pp.339-375. ⟨10.1093/jigpal/9.3.339⟩
Article dans une revue
inria-00100531v1
|
Towards a sharing strategy for the graph rewriting calculus7th International Workshop on Reduction Strategies in Rewriting and Programming - WRS 2007, Jun 2007, Paris, France
Communication dans un congrès
inria-00186141v1
|
|
|
Decidable Type Inference for the Polymorphic Rewriting Calculus17è Journées Francophones des Langages Applicatifs - JFLA 2006, Jan 2006, Pauillac, France. pp.57-69
Communication dans un congrès
inria-00000817v1
|
|
A rho-calculus of explicit constraint application.Workshop on Rewriting Logic and Applications, Mar 2004, Barcelona (Spain), Spain
Communication dans un congrès
inria-00095626v1
|
A rewriting calculus for cyclic higher-order term graphs2nd International Workshop on Term Graph Rewriting - TERMGRAPH'2004, Oct 2004, Rome, Italy, 20 p
Communication dans un congrès
inria-00100095v1
|
|
|
Rewrite Strategies in the Rewriting CalculusWRS 2003, 3rd International Workshop on Reduction Strategies in Rewriting and Programming - Final Proceedings, Jun 2003, Valencia, Spain. pp.593-624, ⟨10.1016/S1571-0661(05)82613-1⟩
Communication dans un congrès
inria-00099586v1
|
|
Translating Combinatory Reduction Systems into the Rewriting Calculus4th International Workshop on Rule-Based Programming - RULE 2003, 2003, Valencia, Spain
Communication dans un congrès
inria-00107640v1
|
|
Pure Patterns Type SystemsProceedings of the 30th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL, New Orleans, LA, USA — January 15 - 17, 2003, Jan 2003, New Orleans, United States. pp.250 - 261, ⟨10.1145/604131.604152⟩
Communication dans un congrès
inria-00099463v2
|
|
The rho cube : some results, some problemsFirst 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
Communication dans un congrès
inria-00099411v1
|
|
Rewriting Calculus with(out) TypesWRLA 2002, 4th International Workshop on Rewriting Logic and Its Applications, Pisa, Italy 19–21 September 2002, Sep 2002, Pisa, Italy. pp.3-19, ⟨10.1016/S1571-0661(05)82526-5⟩
Communication dans un congrès
inria-00100858v1
|
|
The Rho Cube4th International Conference on Foundations of Software Science and Computation Structures - FOSSACS 2001, Apr 2001, Genova, Italy. 15 p, ⟨10.1007/3-540-45315-6_11⟩
Communication dans un congrès
inria-00107877v1
|
|
Rewriting and Multisets in the Rewriting Calculus and ELANWorkshop on Multiset Processing, Aug 2000, Curtea de Arges, Romania, 17 p
Communication dans un congrès
inria-00099053v1
|
|
The simply typed rewriting calculus3rd International Workshop on Rewriting Logic & its Applications - WRLA2000, Sep 2000, none, 19 p
Communication dans un congrès
inria-00099052v1
|
|
Using Rewriting and Strategies for Describing the B Predicate ProverProceedings of the Workshop on Strategies in Automated Deduction - CADE-15, F. Pfenning, B. Gramlich, 1998, Lindau, Germany, pp.23-34
Communication dans un congrès
inria-00098715v1
|
Combining Higher-Order and First-Order Computation Using Rho Calculus: Towards a Semantics of ELANFroCoS'98, 1998, Amsterdam, The Netherlands, 25 p
Communication dans un congrès
inria-00098808v1
|
|
Types for REWERSE reasoning and query languages I3-D42005, 71p
Autre publication scientifique
hal-01149625v1
|
|
A rewriting calculus for cyclic higher-order term graphs[Intern report] 2005
Rapport
inria-00000825v1
|
|
Production Systems and Rete Algorithm Formalisation[Research Report] 2004, pp.21
Rapport
inria-00280938v1
|
|
Production Systems and Rete Algorithm Formalisation[Contract] A04-R-546 || cirstea04d, 2004, 26 p
Rapport
inria-00099850v1
|
|
Production Systems and Rewrite Systems[Contract] A04-R-563 || cirstea04f, 2004, 28 p
Rapport
inria-00099860v1
|
|
Types for Web Rule Languages: a preliminary study[Contract] A04-R-560 || cirstea04e, Inria. 2004, 33 p
Rapport
inria-00099859v1
|
|
Production and Rewrite Systems[Research Report] 2004, pp.23
Rapport
inria-00280939v1
|
A Rho Cube[Intern report] A00-R-344 || cirstea00d, LORIA, UMR 7503, Université de Lorraine, CNRS, Vandoeuvre-lès-Nancy. 2000, 18 p
Rapport
inria-00099309v1
|
|
|
The Rewriting Calculus[Intern report] A00-R-444 || cirstea00f, 2000
Rapport
inria-00099076v1
|
Matching Power[Intern report] A00-R-363 || cirstea00c, LORIA, UMR 7503, Université de Lorraine, CNRS, Vandoeuvre-lès-Nancy. 2000, 18 p
Rapport
inria-00099308v1
|
|
|
Introduction to the Rewriting Calculus[Research Report] RR-3818, INRIA. 1999, pp.50
Rapport
inria-00072840v1
|
|
Using Rewriting and Strategies for Describing the B Predicate Prover[Intern report] 99-R-249 || cirstea99d, 1999, 23 p
Rapport
inria-00098748v1
|
|
$\rho$-Calculus. Its Syntax and Basic Properties[Intern report] 98-R-218 || cirstea98a, 1998, 16 p
Rapport
inria-00098735v1
|
|
Combining Higher-Order & First-Order Computation Using $\rho$-calculus: Towards a semantics of ELAN Full-version[Intern report] 98-R-220 || cirstea98b, 1998
Rapport
inria-00098736v1
|