The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Claude Kirchner: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Claude Kirchner, Hélène Kirchner, José Meseguer
    Operational Semantics of OBJ-3 (Extended Abstract). [Citation Graph (1, 0)][DBLP]
    ICALP, 1988, pp:287-301 [Conf]
  2. Gilles Dowek, Thérèse Hardin, Claude Kirchner
    Higher-Order Unification via Explicit Substitutions (Extended Abstract) [Citation Graph (1, 0)][DBLP]
    LICS, 1995, pp:366-374 [Conf]
  3. Eric Deplagne, Claude Kirchner
    Deduction versus Computation: The Case of Induction. [Citation Graph (0, 0)][DBLP]
    AISC, 2002, pp:4-6 [Conf]
  4. Ilies Alouini, Claude Kirchner
    Toward the Concurrent Implementation of Computational Systems. [Citation Graph (0, 0)][DBLP]
    ALP, 1996, pp:1-31 [Conf]
  5. Jean-Pierre Jouannaud, Claude Kirchner, Hélène Kirchner, Aristide Mégrelis
    OBJ: Programming with Equalities, Subsorts, Overloading and Parameterization. [Citation Graph (0, 0)][DBLP]
    ALP, 1988, pp:41-52 [Conf]
  6. Claude Kirchner, Christophe Ringeissen
    Higher-Order Equational Unification via Explicit Substitutions. [Citation Graph (0, 0)][DBLP]
    ALP/HOA, 1997, pp:61-75 [Conf]
  7. Emilie Balland, Claude Kirchner, Pierre-Etienne Moreau
    Formal Islands. [Citation Graph (0, 0)][DBLP]
    AMAST, 2006, pp:51-65 [Conf]
  8. Horatiu Cirstea, Claude Kirchner
    The Rewriting Calculus as a Semantics of ELAN. [Citation Graph (0, 0)][DBLP]
    ASIAN, 1998, pp:84-85 [Conf]
  9. Claude Kirchner, Hélène Kirchner
    Rule-Based Programming and Proving: The ELAN Experience Outcomes. [Citation Graph (0, 0)][DBLP]
    ASIAN, 2004, pp:363-379 [Conf]
  10. Guillaume Burel, Claude Kirchner
    Completion Is an Instance of Abstract Canonical System Inference. [Citation Graph (0, 0)][DBLP]
    Essays Dedicated to Joseph A. Goguen, 2006, pp:497-520 [Conf]
  11. Jean-Pierre Jouannaud, Claude Kirchner
    Solving Equations in Abstract Algebras: A Rule-Based Survey of Unification. [Citation Graph (0, 0)][DBLP]
    Computational Logic - Essays in Honor of Alan Robinson, 1991, pp:257-321 [Conf]
  12. Isabelle Gnaedig, Claude Kirchner, Hélène Kirchner
    Equational Completion in Order-Sorted Algebras (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    CAAP, 1988, pp:165-184 [Conf]
  13. Eric Deplagne, Claude Kirchner, Hélène Kirchner, Quang Huy Nguyen
    Proof Search and Proof Check for Equational and Inductive Theorems. [Citation Graph (0, 0)][DBLP]
    CADE, 2003, pp:297-316 [Conf]
  14. Claude Kirchner
    A New Equational Unification Method: A Generalization of Martelli-Montanari's Algorithm. [Citation Graph (0, 0)][DBLP]
    CADE, 1984, pp:224-247 [Conf]
  15. Claude Kirchner
    Tutorial on Equational Unification. [Citation Graph (0, 0)][DBLP]
    CADE, 1990, pp:682- [Conf]
  16. Hubert Comon, Claude Kirchner
    Constraint Solving on Terms. [Citation Graph (0, 0)][DBLP]
    CCL, 1999, pp:47-103 [Conf]
  17. Claus Hintermeier, Claude Kirchner, Hélène Kirchner
    Sort Inheritance for Order-Sorted Equational Presentations. [Citation Graph (0, 0)][DBLP]
    COMPASS/ADT, 1994, pp:319-335 [Conf]
  18. Eric Domenjoud, Claude Kirchner, Jianyang Zhou
    Generating Feasible Schedules for a Pick-Up and Delivery Problem. [Citation Graph (0, 0)][DBLP]
    CP, 1998, pp:467- [Conf]
  19. Joseph A. Goguen, Claude Kirchner, Hélène Kirchner, Aristide Mégrelis, José Meseguer, Timothy C. Winkler
    An Introduction to OBJ 3. [Citation Graph (0, 0)][DBLP]
    CTRS, 1987, pp:258-263 [Conf]
  20. Claude Kirchner, Patrick Viry
    Implementing Parallel Rewriting. [Citation Graph (0, 0)][DBLP]
    Dagstuhl Seminar on Parallelization in Inference Systems, 1990, pp:123-138 [Conf]
  21. Mohamed Adi, Claude Kirchner
    AC-Unification Race: The System Solving Approach And Its Implementation. [Citation Graph (0, 0)][DBLP]
    DISCO, 1990, pp:174-183 [Conf]
  22. Claude Kirchner, Hélène Kirchner
    Implementation of a General Completion Procedure Parameterized by Built-in Theories and Strategies. [Citation Graph (0, 0)][DBLP]
    European Conference on Computer Algebra (2), 1985, pp:402-404 [Conf]
  23. Peter Borovanský, Claude Kirchner, Hélène Kirchner
    A Functional View of Rewriting and Strategies for a Semantics of ELAN. [Citation Graph (0, 0)][DBLP]
    Fuji International Symposium on Functional and Logic Programming, 1998, pp:143-166 [Conf]
  24. Horatiu Cirstea, Claude Kirchner, Luigi Liquori
    The Rho Cube. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2001, pp:168-183 [Conf]
  25. Frédéric Blanqui, Claude Kirchner, Colin Riba
    On the Confluence of lambda-Calculus with Conditional Rewriting. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2006, pp:382-397 [Conf]
  26. Joseph A. Goguen, Claude Kirchner, José Meseguer
    Concurrent term rewriting as a model of computation. [Citation Graph (0, 0)][DBLP]
    Graph Reduction, 1986, pp:53-93 [Conf]
  27. Claus Hintermeier, Claude Kirchner, Hélène Kirchner
    Dynamically-Typed Computations for Order-Sorted Equational Presentations. [Citation Graph (0, 0)][DBLP]
    ICALP, 1994, pp:450-461 [Conf]
  28. Jean-Pierre Jouannaud, Claude Kirchner, Hélène Kirchner
    Incremental Construction of Unification Algorithms in Equational Theories. [Citation Graph (0, 0)][DBLP]
    ICALP, 1983, pp:361-373 [Conf]
  29. Farid Ajili, Claude Kirchner
    A Modular Framework for the Combination of Unification and Built-In Constraints. [Citation Graph (0, 0)][DBLP]
    ICLP, 1997, pp:331-345 [Conf]
  30. Gilles Dowek, Thérèse Hardin, Claude Kirchner, Frank Pfenning
    Unification via Explicit Substitutions: The Case of Higher-Order Patterns. [Citation Graph (0, 0)][DBLP]
    JICSLP, 1996, pp:259-273 [Conf]
  31. Claude Kirchner, Hélène Kirchner, Jean-Pierre Jouannaud
    Algebraic Manipulations as a Unification and Matching Strategy for Linear Equations in Signed Binary Trees. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1981, pp:1016-1023 [Conf]
  32. Claude Kirchner, Hélène Kirchner
    Constrained Equational Reasoning. [Citation Graph (0, 0)][DBLP]
    ISSAC, 1989, pp:382-389 [Conf]
  33. Nachum Dershowitz, Claude Kirchner
    Abstract Saturation-Based Inference. [Citation Graph (0, 0)][DBLP]
    LICS, 2003, pp:65-74 [Conf]
  34. Claude Kirchner
    Computing Unification Algorithms [Citation Graph (0, 0)][DBLP]
    LICS, 1986, pp:206-216 [Conf]
  35. Claude Kirchner, Francis Klay
    Syntactic Theories and Unification [Citation Graph (0, 0)][DBLP]
    LICS, 1990, pp:270-277 [Conf]
  36. Claude Kirchner, Pierre Lescanne
    Solving Disequations [Citation Graph (0, 0)][DBLP]
    LICS, 1987, pp:347-352 [Conf]
  37. Gilles Dowek, Thérèse Hardin, Claude Kirchner
    Binding Logic: Proofs and Models. [Citation Graph (0, 0)][DBLP]
    LPAR, 2002, pp:130-144 [Conf]
  38. Claude Kirchner, Patrick Viry
    Implementing Parallel Rewriting. [Citation Graph (0, 0)][DBLP]
    PLILP, 1990, pp:1-15 [Conf]
  39. Gilles Barthe, Horatiu Cirstea, Claude Kirchner, Luigi Liquori
    Pure patterns type systems. [Citation Graph (0, 0)][DBLP]
    POPL, 2003, pp:250-261 [Conf]
  40. Claude Kirchner, Hélène Kirchner, Marian Vittek
    Implementing Computational Systems with Constraints. [Citation Graph (0, 0)][DBLP]
    PPCP, 1993, pp:156-165 [Conf]
  41. Claude Kirchner, Pierre-Etienne Moreau, Antoine Reilles
    Formal validation of pattern matching code. [Citation Graph (0, 0)][DBLP]
    PPDP, 2005, pp:187-197 [Conf]
  42. Horatiu Cirstea, Claude Kirchner, Luigi Liquori
    Matching Power. [Citation Graph (0, 0)][DBLP]
    RTA, 2001, pp:77-92 [Conf]
  43. Olivier Bournez, Claude Kirchner
    Probabilistic Rewrite Strategies. Applications to ELAN. [Citation Graph (0, 0)][DBLP]
    RTA, 2002, pp:252-266 [Conf]
  44. Gilles Dowek, Thérèse Hardin, Claude Kirchner
    HOL-lambdasigma: An Intentional First-Order Expression of Higher-Order Logic. [Citation Graph (0, 0)][DBLP]
    RTA, 1999, pp:317-331 [Conf]
  45. Germain Faure, Claude Kirchner
    Exceptions in the Rewriting Calculus. [Citation Graph (0, 0)][DBLP]
    RTA, 2002, pp:66-82 [Conf]
  46. Claude Kirchner, Christopher Lynch, Christelle Scharff
    Fine-Grained Concurrent Completion. [Citation Graph (0, 0)][DBLP]
    RTA, 1996, pp:3-17 [Conf]
  47. Pierre Réty, Claude Kirchner, Hélène Kirchner, Pierre Lescanne
    NARROWER: A New Algorithm for Unification and Its Application to Logic Programming. [Citation Graph (0, 0)][DBLP]
    RTA, 1985, pp:141-157 [Conf]
  48. Claude Kirchner, Hélène Kirchner, Anderson Santana
    Anchoring modularity in HTML. [Citation Graph (0, 0)][DBLP]
    WWV, 2005, pp:139-151 [Conf]
  49. Miki Hermann, Claude Kirchner, Hélène Kirchner
    Implementations of Term Rewriting Systems. [Citation Graph (0, 0)][DBLP]
    Comput. J., 1991, v:34, n:1, pp:20-33 [Journal]
  50. Hubert Comon, Mehmet Dincbas, Jean-Pierre Jouannaud, Claude Kirchner
    A Methodological View of Constraint Solving. [Citation Graph (0, 0)][DBLP]
    Constraints, 1999, v:4, n:4, pp:337-361 [Journal]
  51. Emmanuel Beffara, Olivier Bournez, Hassen Kacem, Claude Kirchner
    Verification of Timed Automata Using Rewrite Rules and Strategies [Citation Graph (0, 0)][DBLP]
    CoRR, 2001, v:0, n:, pp:- [Journal]
  52. Clara Bertolissi, Paolo Baldan, Horatiu Cirstea, Claude Kirchner
    A Rewriting Calculus for Cyclic Higher-order Term Graphs. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:127, n:5, pp:21-41 [Journal]
  53. Clara Bertolissi, Horatiu Cirstea, Claude Kirchner
    Translating Combinatory Reduction Systems into the Rewriting Calculus. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:86, n:2, pp:- [Journal]
  54. Peter Borovanský, Claude Kirchner, Hélène Kirchner
    Controlling rewriting by rewriting. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1996, v:4, n:, pp:- [Journal]
  55. Peter Borovanský, Claude Kirchner, Hélène Kirchner, Pierre-Etienne Moreau, Christophe Ringeissen
    An overview of ELAN. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1998, v:15, n:, pp:- [Journal]
  56. Peter Borovanský, Claude Kirchner, Hélène Kirchner, Pierre-Etienne Moreau, Marian Vittek
    ELAN: A logical framework based on computational systems. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1996, v:4, n:, pp:- [Journal]
  57. Horatiu Cirstea, Germain Faure, Claude Kirchner
    A rho-Calculus of Explicit Constraint Application. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:117, n:, pp:51-67 [Journal]
  58. Horatiu Cirstea, Claude Kirchner
    The simply typed rewriting calculus. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2000, v:36, n:, pp:- [Journal]
  59. Horatiu Cirstea, Claude Kirchner, Luigi Liquori
    Rewriting Calculus with(out) Types. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:71, n:, pp:- [Journal]
  60. Horatiu Cirstea, Claude Kirchner, Luigi Liquori, Benjamin Wack
    Rewrite strategies in the rewriting calculus. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:86, n:4, pp:- [Journal]
  61. Claude Kirchner
    Strategic Rewriting. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:124, n:2, pp:3-9 [Journal]
  62. Claude Kirchner, Hélène Kirchner
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1998, v:15, n:, pp:- [Journal]
  63. Claude Kirchner, Hélène Kirchner, Anderson Santana
    Anchoring Modularity in HTML. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:157, n:2, pp:133-146 [Journal]
  64. Claude Kirchner, Christophe Ringeissen
    Rule-Based Constraint Programming. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 1998, v:34, n:3, pp:225-262 [Journal]
  65. Gilles Dowek, Thérèse Hardin, Claude Kirchner
    Higher Order Unification via Explicit Substitutions. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2000, v:157, n:1-2, pp:183-235 [Journal]
  66. Horatiu Cirstea, Claude Kirchner
    The rewriting calculus - Part I. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 2001, v:9, n:3, pp:- [Journal]
  67. Horatiu Cirstea, Claude Kirchner
    The rewriting calculus - Part II. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 2001, v:9, n:3, pp:- [Journal]
  68. Peter Borovanský, Claude Kirchner, Hélène Kirchner, Christophe Ringeissen
    Rewriting with Strategies in ELAN: A Functional Semantics. [Citation Graph (0, 0)][DBLP]
    Int. J. Found. Comput. Sci., 2001, v:12, n:1, pp:69-95 [Journal]
  69. Gilles Dowek, Thérèse Hardin, Claude Kirchner
    Theorem Proving Modulo. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 2003, v:31, n:1, pp:33-72 [Journal]
  70. Quang Huy Nguyen, Claude Kirchner, Hélène Kirchner
    External Rewriting for Skeptical Proof Assistants. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 2002, v:29, n:3-4, pp:309-336 [Journal]
  71. Jean-Pierre Jouannaud, Claude Kirchner, Hélène Kirchner, Aristide Mégrelis
    Programming with Equalitiers, Subsorts, Overloading and Parametrization in OBJ. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1992, v:12, n:3&4, pp:257-279 [Journal]
  72. Mohamed Adi, Claude Kirchner
    AC-Unification Race: The System Solving Approach, Implementation and Benchmarks. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 1992, v:14, n:1, pp:51-70 [Journal]
  73. Claus Hintermeier, Claude Kirchner, Hélène Kirchner
    Dynamically Typed Computations for Order-Sorted Equational Presentations. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 1998, v:25, n:4, pp:455-526 [Journal]
  74. Clara Bertolissi, Horatiu Cirstea, Claude Kirchner
    Expressing combinatory reduction systems derivations in the rewriting calculus. [Citation Graph (0, 0)][DBLP]
    Higher-Order and Symbolic Computation, 2006, v:19, n:4, pp:345-376 [Journal]
  75. Gilles Dowek, Thérèse Hardin, Claude Kirchner
    HOL-[lambda][sigma]: an intentional first-order expression of higher-order logic. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 2001, v:11, n:1, pp:21-45 [Journal]
  76. Claude Kirchner, Hélène Kirchner
    REVEUR-3: The Implementation of a General Completion Procedure Parameterized by Built-in Theories and Strategies. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1987, v:8, n:1, pp:69-86 [Journal]
  77. Peter Borovanský, Claude Kirchner, Hélène Kirchner, Pierre-Etienne Moreau
    ELAN from a rewriting logic point of view. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2002, v:285, n:2, pp:155-185 [Journal]
  78. Nachum Dershowitz, Claude Kirchner
    Abstract canonical presentations. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2006, v:357, n:1-3, pp:53-69 [Journal]
  79. Narjes Doggaz, Claude Kirchner
    Completion for Unification. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1991, v:85, n:2, pp:231-251 [Journal]
  80. Isabelle Gnaedig, Claude Kirchner, Hélène Kirchner
    Equational Completion in Order-Sorted Algebras. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1990, v:72, n:2&3, pp:169-202 [Journal]
  81. Claude Kirchner
    Editorial. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1995, v:142, n:2, pp:139-140 [Journal]
  82. Paul Brauner, Clément Houtmann, Claude Kirchner
    Superdeduction at Work. [Citation Graph (0, 0)][DBLP]
    Rewriting, Computation and Proof, 2007, pp:132-166 [Conf]
  83. Claude Kirchner, Radu Kopetz, Pierre-Etienne Moreau
    Anti-pattern Matching. [Citation Graph (0, 0)][DBLP]
    ESOP, 2007, pp:110-124 [Conf]
  84. Daniel J. Dougherty, Claude Kirchner, Hélène Kirchner, Anderson Santana de Oliveira
    Modular Access Control Via Strategic Rewriting. [Citation Graph (0, 0)][DBLP]
    ESORICS, 2007, pp:578-593 [Conf]
  85. Clara Bertolissi, Claude Kirchner
    The Rewriting Calculus as a Combinatory Reduction System. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2007, pp:78-92 [Conf]
  86. Guillaume Burel, Claude Kirchner
    Cut Elimination in Deduction Modulo by Abstract Completion. [Citation Graph (0, 0)][DBLP]
    LFCS, 2007, pp:115-131 [Conf]
  87. Paul Brauner, Clément Houtmann, Claude Kirchner
    Principles of Superdeduction. [Citation Graph (0, 0)][DBLP]
    LICS, 2007, pp:41-50 [Conf]
  88. Frédéric Blanqui, Claude Kirchner, Colin Riba
    On the confluence of lambda-calculus with conditional rewriting [Citation Graph (0, 0)][DBLP]
    CoRR, 2006, v:0, n:, pp:- [Journal]
  89. Maribel Fernández, Claude Kirchner
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:171, n:4, pp:1-2 [Journal]
  90. Horatiu Cirstea, Germain Faure, Claude Kirchner
    A rho-calculus of explicit constraint application. [Citation Graph (0, 0)][DBLP]
    Higher-Order and Symbolic Computation, 2007, v:20, n:1-2, pp:37-72 [Journal]

  91. SPREADSPACES: Mathematically-Intelligent Graphical Spreadsheets. [Citation Graph (, )][DBLP]


  92. Weaving rewrite-based access control policies. [Citation Graph (, )][DBLP]


  93. Formal Validation of Pattern Matching code. [Citation Graph (, )][DBLP]


  94. Constraint Based Strategies. [Citation Graph (, )][DBLP]


  95. Anti-pattern Matching Modulo. [Citation Graph (, )][DBLP]


  96. Inductive proof search modulo. [Citation Graph (, )][DBLP]


  97. Verification of Timed Automata Using Rewrite Rules and Strategies [Citation Graph (, )][DBLP]


  98. A Type System for Tom [Citation Graph (, )][DBLP]


  99. Towards a Sharing Strategy for the Graph Rewriting Calculus. [Citation Graph (, )][DBLP]


  100. Analysis of Rewrite-Based Access Control Policies. [Citation Graph (, )][DBLP]


Search in 0.022secs, Finished in 0.025secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002