Claude Kirchner
28
Documents
Identifiants chercheurs
- claudekirchner
- 0000-0002-1686-1046
- IdRef : 032478739
Présentation
Publications
- 28
- 5
- 4
- 3
- 3
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
Inductive Proof Search ModuloAnnals of Mathematics and Artificial Intelligence, 2009, Special Issue on First-Order Theorem Proving / Guest Edited by Silvio Ranise and Ullrich Hustadt, 55 (1), pp.123-154. ⟨10.1007/s10472-009-9154-5⟩
Article dans une revue
inria-00337380v1
|
Analysis of Rewrite-Based Access Control PoliciesElectronic Notes in Theoretical Computer Science, 2009, Proceedings of the Third International Workshop on Security and Rewriting Techniques (SecReT 2008), Pittsburgh, PA, USA, 22 June 2008, 234, pp.55-75. ⟨10.1016/j.entcs.2009.02.072⟩
Article dans une revue
inria-00433409v1
|
|
|
Sécurité informatique : peut-on se fier au numérique ? par Hélène Kirchner et Claude Kirchner. Le sens des mots, entretien avec Isabelle de Lamberterie, propos recueillis par Dominique Chouchan.Les Cahiers de l'INRIA - La Recherche, 2008, Les nouveaux défis de la cryptologie, 420 juin 2008
Article dans une revue
inria-00546796v1
|
ELAN from a rewriting logic point of viewTheoretical Computer Science, 2002, 285 (2), pp.155-185. ⟨10.1016/S0304-3975(01)00358-9⟩
Article dans une revue
inria-00100974v1
|
|
External rewriting for skeptical proof assistantsJournal of Automated Reasoning, 2002, 29 (3-4), pp.309-336
Article dans une revue
inria-00101009v1
|
|
|
Rewriting with strategies in ELAN: a functional semanticsInternational Journal of Foundations of Computer Science, 2001, pp.27. ⟨10.1142/S0129054101000412⟩
Article dans une revue
inria-00098778v1
|
Dynamically-Typed Computations for Order-Sorted Equational PresentationsJournal of Symbolic Computation, 1998, 25 (4), pp.455-526
Article dans une revue
inria-00098625v1
|
Constraint Based Strategies18th International Workshop on Functional and Constraint Logic Programming - WFLP 2009, Jun 2009, Brasilia, Brazil. pp.13-26
Communication dans un congrès
inria-00494531v1
|
|
Analysis of Rewrite-Based Access Control Policies3rd International Workshop on Security and Rewriting Techniques, Jun 2008, Pittsburgh, United States
Communication dans un congrès
inria-00335088v1
|
|
Modular Access Control via Strategic Rewriting12th European Symposium On Research In Computer Security - ESORICS 2007, Sep 2007, Dresden, Germany. pp.578-593, ⟨10.1007/978-3-540-74835-9_38⟩
Communication dans un congrès
inria-00185697v1
|
|
|
Inductive Proof Search Modulo6th International Workshop on First-Order Theorem Proving - FTP 2007, Sep 2007, Liverpool, United Kingdom. pp.4-19
Communication dans un congrès
inria-00187458v1
|
Weaving Rewrite-Based Access Control PoliciesThe 5th ACM Workshop on Formal Methods in Security Engineering - FMSE 2007, ACM, Nov 2007, Alexandria, United States
Communication dans un congrès
inria-00185710v1
|
|
|
Anchoring modularity in HTML.1st International Workshop on Automated Specification and Verification of Web Sites - WWV'05, Mar 2005, Valencia/Spain, pp.139-151
Communication dans un congrès
inria-00000750v1
|
|
Rule-based programming and proving: the ELAN experience outcomesNinth Asian Computing Science Conference - ASIAN'04, 2004, Chiang Mai, Thailand, 17 p
Communication dans un congrès
inria-00107801v1
|
|
Proof Search and Proof Check for Equational and Inductive TheoremsConference on Automated Deduction - CADE-19, Jul 2003, Miami (FL), United States. 20 p, ⟨10.1007/978-3-540-45085-6_26⟩
Communication dans un congrès
inria-00099470v1
|
|
The QSL platform at LORIAFirst QPQ Workshop on Deductive Software Components, 2003, Miami, Floride, 3 p
Communication dans un congrès
inria-00099497v1
|
A functional view of rewriting and strategies for a semantics of ELANThe Third Fuji International Symposium on Functional and Logic Programming, 1998, Kyoto (Japan), pp.143-167
Communication dans un congrès
inria-00098628v1
|
|
An Overview of ELANSecond Workshop on Rewriting Logic and its Applications - WRLA'98, 1998, Pont-à-Mousson, France, 16 p
Communication dans un congrès
inria-00098518v1
|
|
Rewriting as a Unified Specification Tool for Logic and Control: The ELAN LanguageSecond International Workshop on the Theory and Practice of Algebraic Specifications, 1998, Amsterdam, N.L., 10 p
Communication dans un congrès
inria-00098626v1
|
Automated Deduction - CADE-15Kirchner, Claude and Kirchner, Hélène. Springer Verlag, 1998, Lecture Notes in Artificial Intelligence
Ouvrages
inria-00098417v1
|
|
Equational logic and rewritingDov M. Gabbay; Jörg H. Siekmann; John Woods. Handbook of the History of Logic, 9 (Chap.8), Elsevier, 2014, History of Logic and Computation in the 20th Century, 978-0444516244
Chapitre d'ouvrage
hal-01183817v1
|
|
Strategic Computation and DeductionChristoph Benzmüller and Chad E. Brown and Jörg Siekmann and Richard Statman. Reasoning in Simple Type Theory. Festchrift in Honour of Peter B. Andrews on His 70th Birthday, 17, College Publications, pp.339-364, 2008, Studies in Logic and the Foundations of Mathematics, 978-1-904987-70-3
Chapitre d'ouvrage
inria-00433745v1
|
|
Narrowing Based Inductive Proof Search2011
Autre publication scientifique
hal-00692193v1
|
External rewriting for skeptical proof assistants (extended version)[Intern report] A02-R-099 || nguyen02a, 2002, 45 p
Rapport
inria-00101055v1
|
|
|
ELAN from the rewriting logic point of view[Intern report] 99-R-284 || borovansky99b, 1999, 39 p
Rapport
inria-00107841v1
|
|
Dynamically-typed computations for order-sorted equational presentations[Research Report] RR-2208, INRIA. 1994, pp.114
Rapport
inria-00074463v1
|
|
Proofs in parameterized specifications[Research Report] RR-1424, INRIA. 1991
Rapport
inria-00075136v1
|
|
Deduction with symbolic constraints[Research Report] RR-1358, INRIA. 1990, pp.46
Rapport
inria-00077103v1
|