Seguir
Hélène Kirchner
Hélène Kirchner
Dirección de correo verificada de inria.fr - Página principal
Título
Citado por
Citado por
Año
An overview of ELAN
P Borovanský, C Kirchner, H Kirchner, PE Moreau, C Ringeissen
Electronic Notes in Theoretical Computer Science 15, 55-70, 1998
3251998
Simplification and termination of strategies in rule-based languages
O Fissore, I Gnaedig, H Kirchner
Proceedings of the 5th ACM SIGPLAN international conference on Principles …, 2003
172003
Equational logic and rewriting
C Kirchner, H Kirchner
Handbook of the History of Logic 9, 255-282, 2014
92014
Frontiers of combining systems, volume 1794 of Lecture Notes in Computer Science
H Kirchner, C Ringeissen
Springer-Verlag, 2000
82000
Frontiers of Combining Systems: Third International Workshop, FroCoS 2000 Nancy, France, March 22-24, 2000 Proceedings
H Kirchner, C Ringeissen
Springer, 2006
72006
Rewriting, Solving, Proving, 1999
C Kirchner, H Kirchner
Preliminary version of a book: http://citeseerx. ist. psu. edu/viewdoc/summary, 0
6
Venous tourniquet
H Kirchner, C Kirchner, C Ihle
US Patent 10,182,825, 2019
52019
Termination and normalisation under strategy Proofs in ELAN
H Kirchner, I Gnaedig
Electronic Notes in Theoretical Computer Science 36, 93-120, 2000
52000
Second Intl
C Kirchner, H Kirchner
Workshop on Rewriting Logic and its Applications, 1998
51998
Order-sorted computations in G-algebra
C Kirchner, H Kirchner
Draft, INRIA-Lorraine & CRIN, Nancy, 1991
51991
Termination of rewriting under strategies: a generic approach
I Gnaedig, H Kirchner
ACM Transactions on Computational Logic, 2006
12006
Port Graphs, Rules and Strategies for Dynamic Data Analytics
H Kirchner
International Conference on Rewriting, Deduction, and Programming 36, 2015
2015
Modeling reducibility on ground terms using constraints
I Gnaedig, H Kirchner
2009
Analysis of Rewrite-Based Access Control Policies
AS de Oliveira, C Kirchner, H Kirchner
3rd International Workshop on Security and Rewriting Techniques, 2008
2008
Weaving Rewrite-Based Access Control Policies
EK Wang, C Kirchner, H Kirchner
2007
Computation and Proof
HCLC Kirchner, H Kirchner
2007
Ninth International Conference on Algebraic Methodology And Software Technology (AMAST 2002), Saint-Gilles, Reunion Island, France, 9-13 September 2002
H Kirchner, C Ringeissen
BULLETIN-EUROPEAN ASSOCIATION FOR THEORETICAL COMPUTER SCIENCE 79, 250-251, 2003
2003
Innermost sufficient completeness
I Gnaedig, H Kirchner
2003
An algebraic semantics for objects in a rule-based language
H Dubois, H Kirchner
16th International Workshop on Algebraic Development Techniques-WADT'2002, 3 p, 2002
2002
Projet GasEl. Elaboration d'un logiciel de génération de mécanismes détaillés d'oxydation et de combustion de molécules d'hydrocarbures. Rapport No 2
L Ibanescu, O Bournez, H Kirchner, GM Côme, V Conraud
2002
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20