
Claude Kirchner
139
Documents
Identifiants chercheurs
Présentation
Publications
35
28
10
9
9
8
7
6
5
5
5
4
4
3
3
3
3
3
3
3
3
3
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
Publications
|
Pour un numérique fraternelRevue Quart Monde, 2021
Article dans une revue
hal-03348601
v1
|
|
Défis de la recherche scientifique en cyber-sécuritéAnnales des Mines - Enjeux Numériques, 2019, pp.1-15
Article dans une revue
hal-02381411
v1
|
|
Réflexion éthique : une urgence. Entretien avec Claude Kirchner, propos recueillis par Dominique ChouchanLes Cahiers de l'INRIA - La Recherche, 2010, Cancer la révolution, 440 avril 2010
Article dans une revue
inria-00511390
v1
|
|
Regaining Cut Admissibility in Deduction Modulo using Abstract CompletionInformation and Computation, 2010, 208 (2), pp.140-164. ⟨10.1016/j.ic.2009.10.005⟩
Article dans une revue
inria-00132964
v2
|
|
On the confluence of lambda-calculus with conditional rewritingTheoretical Computer Science, 2010, 411 (37), pp.3301-3327. ⟨10.1016/j.tcs.2009.07.058⟩
Article dans une revue
inria-00509054
v1
|
|
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-00429226
v1
|
|
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
istex
inria-00337380
v1
|
|
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-00433409
v1
|
|
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-00546796
v1
|
|
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-00110872
v1
|
|
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-00000628
v3
|
|
Abstract canonical presentationsTheoretical Computer Science, 2006, Theoretical Computer Science, 357 (1-3), pp.53--69. ⟨10.1016/j.tcs.2006.03.012⟩
Article dans une revue
inria-00121760
v1
|
Expressing Combinatory Reduction Systems Derivations in the Rewriting CalculusHigher-Order and Symbolic Computation, 2006
Article dans une revue
inria-00110869
v1
|
|
L'Action Concertée Incitative Sécurité et InformatiqueRevue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2004, 23 (3), pp.421-426. ⟨10.3166/tsi.23.421-426⟩
Article dans une revue
istex
inria-00100103
v1
|
|
Theorem Proving ModuloJournal of Automated Reasoning, 2003, 31 (1), pp.33-72
Article dans une revue
inria-00099711
v1
|
|
|
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-00100974
v1
|
External rewriting for skeptical proof assistantsJournal of Automated Reasoning, 2002, 29 (3-4), pp.309-336
Article dans une revue
inria-00101009
v1
|
|
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-00100656
v1
|
|
|
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-00098778
v1
|
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
istex
inria-00100531
v1
|
|
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
istex
inria-00100532
v1
|
|
A Methodological View of Constraint SolvingConstraints, 1999, 4 (4), pp.337-361
Article dans une revue
inria-00098856
v1
|
|
Generating feasible schedules for a pick-up and delivery problemElectronic Notes in Discrete Mathematics, 1999, 1
Article dans une revue
inria-00098910
v1
|
|
Dynamically-Typed Computations for Order-Sorted Equational PresentationsJournal of Symbolic Computation, 1998, 25 (4), pp.455-526
Article dans une revue
inria-00098625
v1
|
|
Rule-Based Constraint ProgrammingFundamenta Informaticae, 1998, 34 (3), pp.225--262
Article dans une revue
inria-00098476
v1
|
Cerveau connecté : réflexions sur l'éthique de l'IA implantéeForum européen de bioéthique. 14ème édition. L'IA et nous, Feb 2024, Strasbourg, France
Communication dans un congrès
hal-04822016
v1
|
|
Pourquoi l’éthique du numérique ?Séminaire du LIRIMA, Nov 2020, [En distanciel], France
Communication dans un congrès
hal-03586285
v1
|
|
Prévention des attaques informatiques et protectionConstruire la paix et la sécurité internationales de la société numérique, Secrétariat général de la défense et de la sécurité nationale (SGDSN); Agence Nationale de Sécurité des Systèmes de l’Information (ANSSI); Ministère des affaires étrangères, Apr 2017, Paris, France
Communication dans un congrès
hal-02055458
v1
|
|
|
Lightning Talk:"I solemnly pledge" A Manifesto for Personal Responsibility in the Engineering of Academic SoftwareFourth Workshop on Sustainable Software for Science: Practice and Experiences (WSSSPE4), 2016, Manchester, United Kingdom
Communication dans un congrès
hal-01367344
v1
|
|
EPISCIENCES - an overlay publication platformELPUB2014 - International Conference on Electronic Publishing, Alexander Technological Education Institute of Thessaloniki, Jun 2014, Thessalonique, Greece. pp.78-87, ⟨10.3233/978-1-61499-409-1-78⟩
Communication dans un congrès
hal-01002815
v2
|
|
A Type System for TomProceedings Tenth International Workshop on Rule-Based Programming - RULE 2009, Jun 2009, Brasilia, Brazil. ⟨10.4204/EPTCS.21.5⟩
Communication dans un congrès
inria-00426439
v2
|
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-00494531
v1
|
|
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-00186141
v1
|
|
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-00335088
v1
|
|
|
Anti-Pattern Matching ModuloSecond International Conference on Language and Automata Theory and Applications - LATA 2008, Mar 2008, Tarragone, Italy. pp.275-286, ⟨10.1007/978-3-540-88282-4_26⟩
Communication dans un congrès
inria-00337722
v1
|
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-00185710
v1
|
|
|
Cut Elimination in Deduction Modulo by Abstract CompletionSymposium on Logical Foundations of Computer Science LFCS'07, Sergei Artemov, Jun 2007, New York, United States. pp.115-131, ⟨10.1007/978-3-540-72734-7_9⟩
Communication dans un congrès
inria-00115556
v3
|
|
Anti-Pattern Matching16th European Symposium on Programming - ESOP'07, Mar 2007, Braga, Portugal. pp.110-124, ⟨10.1007/978-3-540-71316-6_9⟩
Communication dans un congrès
inria-00129419
v1
|
|
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-00187458
v1
|
|
Superdeduction at workColloquium in honor of Jean-Pierre Jouannaud, Jun 2007, Cachan, France. pp.132-166, ⟨10.1007/978-3-540-73147-4⟩
Communication dans un congrès
inria-00141672
v2
|
|
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-00185697
v1
|
|
The Rewriting Calculus as a Combinatory Reduction SystemTenth International Conference on Foundations of Software Science and Computations Structures - FoSSaCS 2007, Mar 2007, Braga, Portugal. pp.78-92, ⟨10.1007/978-3-540-71389-0_7⟩
Communication dans un congrès
inria-00121792
v1
|
|
Anti-Pattern Matching Modulo21th International Workshop on Unification - UNIF'07, 2007, Paris, France
Communication dans un congrès
inria-00176055
v1
|
|
Principles of SuperdeductionTwenty-Second Annual IEEE Symposium on Logic in Computer Science - LiCS 2007, Jul 2007, Wroclaw, Poland. ⟨10.1109/LICS.2007.37⟩
Communication dans un congrès
inria-00133557
v3
|
|
Formal Islands11th International Conference on Algebraic Methodology and Software Technology - AMAST '06, Jul 2006, Kuressaare, Estonia. pp.51-65
Communication dans un congrès
inria-00001146
v1
|
|
On the confluence of lambda-calculus with conditional rewritingFoundations of Software Science and Computation Structures, Mar 2006, Vienne, Austria. ⟨10.1007/11690634_26⟩
Communication dans un congrès
inria-00000729
v2
|
|
Completion is an Instance of Abstract Canonical System InferenceAlgebra, Meaning, and Computation: A Festschrift Symposium in Honor of Joseph Goguen, Jun 2006, San Diego/USA, pp.497-520, ⟨10.1007/11780274_26⟩
Communication dans un congrès
inria-00000775
v2
|
|
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-00000817
v1
|
|
Modular Formal Islands: Embed theory in your practiceThird Taiwanese-French Conference on Information Technology - TFIT 2006, INRIA/LORIA, Mar 2006, Nancy/France
Communication dans un congrès
inria-00001186
v1
|
|
Formal Validation of Pattern Matching CodeProceedings of the 7th ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming - PPDP'2005, Jul 2005, Lisbon/Portugal, pp.187--197
Communication dans un congrès
inria-00000701
v1
|
|
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-00000750
v1
|
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-00100095
v1
|
|
|
A rho-calculus of explicit constraint application.Workshop on Rewriting Logic and Applications, Mar 2004, Barcelona (Spain), Spain
Communication dans un congrès
inria-00095626
v1
|
|
Strategic Rewriting4th International Workshop on Reduction Strategies in Rewriting and Programming - WRS'2004, 2004, Aachen, Germany
Communication dans un congrès
inria-00107802
v1
|
|
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-00107801
v1
|
|
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
istex
inria-00099470
v1
|
|
The QSL platform at LORIAFirst QPQ Workshop on Deductive Software Components, 2003, Miami, Floride, 3 p
Communication dans un congrès
inria-00099497
v1
|
|
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-00099586
v1
|
|
Abstract Saturation-based InferenceEighteenth Annual IEEE Symposium on Logic in Computer Science - LICS'2003), Jun 2003, Ottawa, Canada, 10 p
Communication dans un congrès
inria-00099466
v1
|
|
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-00099463
v2
|
|
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-00107640
v1
|
|
Binding Logic: proofs and models9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning - LPAR'2002, Oct 2002, Tbilisi, Georgia. pp.130-144
Communication dans un congrès
inria-00101012
v1
|
|
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-00099411
v1
|
Probabilistic rewrite strategies. Applications to ELAN13th International Conference on Rewriting Techniques and Applications - RTA'2002, Jul 2002, Copenhagen, Denmark, pp.252-266
Communication dans un congrès
inria-00100883
v1
|
|
|
Exceptions in the rewriting calculus13th International Conference on Rewriting Techniques and Applications - RTA 2002, Jul 2002, Copenhagen/Denmark, pp.66--82
Communication dans un congrès
inria-00101011
v2
|
Proceedings of the 4th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP'02)Conference on Principles and Practice of Declarative Programming (PPDP'02), Oct 2002, Pittsburgh, USA
Communication dans un congrès
inria-00101023
v1
|
|
|
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-00100858
v1
|
|
Abstract Canonical Inference Systems16th International Workshop on Unification - UNIF'2002, Jul 2002, Copenhagen, Denmark, 20 p
Communication dans un congrès
inria-00107627
v1
|
Deduction versus Computation: the Case of InductionSixth International Conference on Artificial Intelligence and Symbolic Computation - AISC'2002, Jul 2002, Marseille, France, pp.4-6
Communication dans un congrès
inria-00101024
v1
|
|
|
Matching Power12th International Conference, RTA 2001 Utrecht, The Netherlands, May 22–24, 2001 Proceedings, May 2001, Utrecht, Netherlands. pp.77-92, ⟨10.1007/3-540-45127-7_8⟩
Communication dans un congrès
inria-00107876
v2
|
|
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-00107877
v1
|
Inversion StrategiesThird Workshop on Rule-Based Constraint Reasoning and Programming - RCoRP'01, Dec 2001, Paphos, Cyprus, 15 p
Communication dans un congrès
inria-00100570
v1
|
|
Verification of Timed Automata Using Rewrite Rules and StrategiesERCIM Working Group on Constraints, Jun 2001, Prague, Czech Republic, 15 p
Communication dans un congrès
inria-00100534
v1
|
|
Verification of Timed Automata Using Rewrite Rules and StrategiesThe Seventh Biennal Bar-Ilan Symposium on the Foundations of Artificial Intelligence - BISFAI'01, Jun 2001, Bar-Ilan University, Ramat-Gan, Israel, 15 p
Communication dans un congrès
inria-00100535
v1
|
|
ELAN : Modélisation et preuve en calcul de réécritureApproches Formelles dans l'Assistance au Développement de Logiciels, 2001, Nancy, France, 2 p
Communication dans un congrès
inria-00100560
v1
|
|
|
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-00099053
v1
|
|
ELAN ou la programmation par réécritureFAC 2000, May 2000, Toulouse, France, 96 p
Communication dans un congrès
inria-00107865
v1
|
|
The simply typed rewriting calculus3rd International Workshop on Rewriting Logic & its Applications - WRLA2000, Sep 2000, none, 19 p
Communication dans un congrès
inria-00099052
v1
|
HOL-$\lambda \sigma$ an intentional first-order expression of higher-order logicTenth International Conference on Rewriting Techniques & Applications - RTA'99, Jul 1999, Trento, Italy, 14 p
Communication dans un congrès
inria-00098847
v1
|
|
The rewriting calculus as a semantics to strategy application. Application to ELAN.Third International CADE workshop on strategies in automated deduction, Jul 1999, Trento, Italy
Communication dans un congrès
inria-00098922
v1
|
|
Deduction and theorem proving moduloSchool of logic & computation, May 1999, Edinburgh, United Kingdom
Communication dans un congrès
inria-00098921
v1
|
|
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-00098518
v1
|
|
|
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-00098715
v1
|
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-00098808
v1
|
|
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-00098626
v1
|
|
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-00098628
v1
|
Proceedings of the 37th International Colloquium on Automata, Languages and Programming, ICALP 2010, Bordeaux, France, July 6-10, 2010, Part I & II. Volume 6198 & 6199 of Lecture Notes in Computer Science (ARCoSS)Springer, pp.900, 2010
Ouvrages
hal-01009675
v1
|
|
La sécurité de l'individu numériséStéphanie Lacour. L'Harmattan, 300 p., 2009, 978-2-296-07612-9
Ouvrages
halshs-00345394
v1
|
|
Formal to practical SecuritySpringer, 5458, pp.200, 2009, Lecture Notes in Computer Science, 978-3-642-02001-8
Ouvrages
inria-00426617
v1
|
|
Automated Deduction - CADE-15Kirchner, Claude and Kirchner, Hélène. Springer Verlag, 1998, Lecture Notes in Artificial Intelligence
Ouvrages
inria-00098417
v1
|
|
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-01183817
v1
|
|
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-00433745
v1
|
Sécurité Informatique: IntroductionAkoka, Jacky and Comyn-Wattiau, Isabelle. Encyclopédie de l'informatique et des systèmes d'information, Vuibert, 2006, 978-27117-4846-4
Chapitre d'ouvrage
inria-00121763
v1
|
|
Narrowing Based Inductive Proof Search2011
Autre publication scientifique
hal-00692193
v1
|
Termination in finite mean time of a CSMA/CA rule-based model2006
Autre publication scientifique
inria-00000774
v1
|
|
|
Types for REWERSE reasoning and query languages I3-D42005, 71p
Autre publication scientifique
hal-01149625
v1
|
|
Operational fairness when coding facial authentication2022
Pré-publication, Document de travail
hal-04447868
v1
|
|
Anonymisation des données : enjeux d'éthique pour la recherche scientifiqueInria. 2024
Rapport
hal-04766842
v1
|
|
Systèmes d'intelligence artificielle générative : enjeux d'éthiqueComité national pilote d'éthique du numérique. 2023, pp.Avis 7 du CNPEN
Rapport
cea-04153216
v1
|
|
Pour une politique industrielle du numérique[Rapport Technique] ANRT. 2018, pp.56
Rapport
(rapport technique)
hal-02786563
v1
|
|
Intégrité Scientifique au CNRS; Vers un dispositif pérenne de promotion des valeurs de l’intégrité scientifique au CNRS, et de traitement des allégations de manquement à l’intégrité[0] CNRS. 2018, 28 p. + Annexes
Rapport
(rapport d’expertise collective)
hal-02791125
v1
|
|
Open Access in Japan – a multi-institutional perspective[Research Report] Ambassade de France au Japon. 2016
Rapport
(rapport de recherche)
hal-01290936
v1
|
|
Médiation Scientifique : une facette de nos métiers de la recherche[Interne] Inria. 2013, pp.34
Rapport
hal-00804915
v1
|
|
Rapport sur la création d’un comité d’éthique en Sciences et Technologies du Numérique[0] INRIA. 2009
Rapport
hal-03210022
v1
|
|
Anti-Pattern Matching Modulo[Research Report] 2007, pp.21
Rapport
(rapport de recherche)
inria-00129421
v3
|
|
Application d'une méthode de preuve probabiliste pour prouver la terminaison en temps moyen fini du protocole CSMA/CA 802.11b[Research Report] AVERROES/Lot 4.2/Fourniture 4.2, 2006, pp.13
Rapport
(rapport de recherche)
inria-00104120
v1
|
|
A rewriting calculus for cyclic higher-order term graphs[Intern report] 2005
Rapport
inria-00000825
v1
|
|
Induction as Deduction Modulo[Intern report] A04-R-468 || deplagne04a, 2004, 80 p
Rapport
inria-00099871
v1
|
|
Production Systems and Rete Algorithm Formalisation[Research Report] 2004, pp.21
Rapport
(rapport de recherche)
inria-00280938
v1
|
|
Production and Rewrite Systems[Research Report] 2004, pp.23
Rapport
(rapport de recherche)
inria-00280939
v1
|
|
Stratégies de réécriture probabiliste dans ELAN4[Rapport de recherche] 2004, pp.17
Rapport
(rapport de recherche)
inria-00104091
v1
|
|
Production Systems and Rete Algorithm Formalisation[Contract] A04-R-546 || cirstea04d, 2004, 26 p
Rapport
(rapport contrat/projet)
inria-00099850
v1
|
|
Production Systems and Rewrite Systems[Contract] A04-R-563 || cirstea04f, 2004, 28 p
Rapport
(rapport contrat/projet)
inria-00099860
v1
|
|
Types for Web Rule Languages: a preliminary study[Contract] A04-R-560 || cirstea04e, Inria. 2004, 33 p
Rapport
(rapport contrat/projet)
inria-00099859
v1
|
|
Theorem Proving Modulo Revised Version[Research Report] RR-4861, INRIA. 2003, pp.54
Rapport
(rapport de recherche)
inria-00071722
v1
|
|
Towards a Methodology for Rule-Based Programming[Intern report] A02-R-529 || castro02a, 2002, 24 p
Rapport
inria-00099428
v1
|
External rewriting for skeptical proof assistants (extended version)[Intern report] A02-R-099 || nguyen02a, 2002, 45 p
Rapport
inria-00101055
v1
|
|
|
Xemantics: a Rewriting Calculus-Based Semantics of XSLT[Intern report] A01-R-386 || kirchner01c, 2001, 50 p
Rapport
inria-00107547
v1
|
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-00099309
v1
|
|
|
The Rewriting Calculus[Intern report] A00-R-444 || cirstea00f, 2000
Rapport
inria-00099076
v1
|
Matching Power[Intern report] A00-R-363 || cirstea00c, LORIA, UMR 7503, Université de Lorraine, CNRS, Vandoeuvre-lès-Nancy. 2000, 18 p
Rapport
inria-00099308
v1
|
|
|
Introduction to the Rewriting Calculus[Research Report] RR-3818, INRIA. 1999, pp.50
Rapport
(rapport de recherche)
inria-00072840
v1
|
|
Using Rewriting and Strategies for Describing the B Predicate Prover[Intern report] 99-R-249 || cirstea99d, 1999, 23 p
Rapport
inria-00098748
v1
|
|
ELAN from the rewriting logic point of view[Intern report] 99-R-284 || borovansky99b, 1999, 39 p
Rapport
inria-00107841
v1
|
|
Theorem Proving Modulo[Research Report] RR-3400, INRIA. 1998, pp.27
Rapport
(rapport de recherche)
inria-00077199
v1
|
Generating feasible schedules for a pick-up and delivery problem[Intern report] 98-R-142 || domenjoud98b, 1998, 15 p
Rapport
inria-00098611
v1
|
|
|
$\rho$-Calculus. Its Syntax and Basic Properties[Intern report] 98-R-218 || cirstea98a, 1998, 16 p
Rapport
inria-00098735
v1
|
|
Holls: an Intentional First-Order Expression of Higher-Order Logic[Research Report] RR-3556, INRIA. 1998, pp.26
Rapport
(rapport de recherche)
inria-00077202
v1
|
|
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-00098736
v1
|
|
Unification via Explicit Substitutions: The Case of Higher-Order Patterns[Research Report] RR-3591, INRIA. 1998, pp.33
Rapport
(rapport de recherche)
inria-00077203
v1
|
|
Conditional Concurrent Rewriting[Research Report] RR-2777, INRIA. 1996, pp.24
Rapport
(rapport de recherche)
inria-00073915
v1
|
|
A Fine-Grained Concurrent Completion Procedure[Research Report] RR-2990, INRIA. 1996, pp.56
Rapport
(rapport de recherche)
inria-00073707
v1
|
|
Higher Order Unification via Explicit Substitutions[Research Report] RR-2709, INRIA. 1995, pp.42
Rapport
(rapport de recherche)
inria-00077197
v1
|
|
Vérification sémantique de spécifications métallurgiques[Rapport de recherche] RR-2226, INRIA. 1994
Rapport
(rapport de recherche)
inria-00074444
v1
|
|
Dynamically-typed computations for order-sorted equational presentations[Research Report] RR-2208, INRIA. 1994, pp.114
Rapport
(rapport de recherche)
inria-00074463
v1
|
|
Proofs in parameterized specifications[Research Report] RR-1424, INRIA. 1991
Rapport
(rapport de recherche)
inria-00075136
v1
|
|
Deduction with symbolic constraints[Research Report] RR-1358, INRIA. 1990, pp.46
Rapport
(rapport de recherche)
inria-00077103
v1
|
|
Order-sorted equational unification[Research Report] RR-0954, INRIA. 1988
Rapport
(rapport de recherche)
inria-00075605
v1
|
|
Solving disequations[Research Report] RR-0686, INRIA. 1987
Rapport
(rapport de recherche)
inria-00075867
v1
|
Chargement...
Chargement...