Hélène Kirchner

• Automated Deduction
  rewrite systems and applications, constraint solving, combination of solvers, theorem proving with constraints.
• Programming languages
  algebraic and logic programming, constraint logic programming, combination and integration of computational models.
• Formal specifications
  algebraic specifications, rewriting logic.

Publications

• Personal list (Pdf file)
• New papers
  • "Rule-Based Programming and Proving: The ELAN Experience Outcomes" Lecture Notes in Computer Science
  • "A Proof of Weak Termination Providing the Right Way to Terminate" Lecture Notes in Computer Science
  • "Termination of rewriting strategies: a generic approach" Pdf file
  • "From Chemical Rules to Term Rewriting". Proc. 6th International Workshop on Rule-Based Programming. To appear in Electronic Notes on Theoretical Computer Science.
  • "Anchoring modularity in HTML". Proc.1st Intl Workshop on Automated Specification and Verification of Web Sites To appear in Electronic Notes on Theoretical Computer Science.
  • "On Superposition-Based Satisfiability Procedures and their Combination" Proc. ICTAC'05.