Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Hélène Kirchner

◀ ▶ joint publications with Christophe Ringeissen

> Home > Persons > Hélène Kirchner

Publications

2010
[j24]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jsc/TranRRK10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsc/TranRRK10
Duc-Khanh Tran, Christophe Ringeissen, Silvio Ranise, Hélène Kirchner:
Combination of convex theories: Modularity, deduction completeness, and explanation. J. Symb. Comput. 45(2): 261-286 (2010)
2006
[c52]
- view
  authority control:
- export record
  dblp key:
  - conf/lpar/KirchnerRRT06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/KirchnerRRT06
Hélène Kirchner, Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran:
Automatic Combinability of Rewriting-Based Satisfiability Procedures. LPAR 2006: 542-556
2005
[c50]
- view
  authority control:
- export record
  dblp key:
  - conf/ictac/KirchnerRRT05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/KirchnerRRT05
Hélène Kirchner, Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran:
On Superposition-Based Satisfiability Procedures and Their Combination. ICTAC 2005: 594-608
2002
[e7]
- view
  authority control:
- export record
  dblp key:
  - conf/amast/2002
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amast/2002
Hélène Kirchner, Christophe Ringeissen:
Algebraic Methodology and Software Technology, 9th International Conference, AMAST 2002, Saint-Gilles-les-Bains, Reunion Island, France, September 9-13, 2002, Proceedings. Lecture Notes in Computer Science 2422, Springer 2002, ISBN 3-540-44144-1 [contents]
2001
[j17]
- view
  authority control:
- export record
  dblp key:
  - journals/ijfcs/BorovanskyKKR01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijfcs/BorovanskyKKR01
Peter Borovanský, Claude Kirchner, Hélène Kirchner, Christophe Ringeissen:
Rewriting with Strategies in ELAN: A Functional Semantics. Int. J. Found. Comput. Sci. 12(1): 69-95 (2001)
2000
[e6]
- view
  authority control:
- export record
  dblp key:
  - conf/frocos/2000
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/frocos/2000
Hélène Kirchner, Christophe Ringeissen:
Frontiers of Combining Systems, Third International Workshop, FroCoS 2000, Nancy, France, March 22-24, 2000, Proceedings. Lecture Notes in Computer Science 1794, Springer 2000, ISBN 3-540-67281-8 [contents]
1998
[c30]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BorovanskyKKMR98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BorovanskyKKMR98
Peter Borovanský, Claude Kirchner, Hélène Kirchner, Pierre-Etienne Moreau, Christophe Ringeissen:
An overview of ELAN. WRLA 1998: 55-70
1994
[j11]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jsc/KirchnerR94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsc/KirchnerR94
Hélène Kirchner, Christophe Ringeissen:
Combining Symbolic Constraint Solvers on Algebraic Domains. J. Symb. Comput. 18(2): 113-155 (1994)
[c20]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/iclp/KirchnerR94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclp/KirchnerR94
Hélène Kirchner, Christophe Ringeissen:
Constraint Solving by Narrowing in Combined Algebraic Domains. ICLP 1994: 617-631
1992
[c16]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/iclp/KirchnerR92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclp/KirchnerR92
Hélène Kirchner, Christophe Ringeissen:
A Constraint Solver in Finite Algebras and Its Combination with Unification Algorithms. JICSLP 1992: 225-239

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.