Следене
Hélène Kirchner
Hélène Kirchner
Потвърден имейл адрес: inria.fr - Начална страница
Заглавие
Позовавания
Позовавания
Година
An overview of ELAN
P Borovanský, C Kirchner, H Kirchner, PE Moreau, C Ringeissen
Electronic Notes in Theoretical Computer Science 15, 55-70, 1998
2931998
Equational Logic and Rewriting.
C Kirchner, H Kirchner
Computational Logic, 255-282, 2014
72014
Frontiers of Combining Systems: Third International Workshop, Frocos 2000 Nancy, France, March 22-24, 2000 Proceedings
H Kirchner, C Ringeissen
Springer, 2006
72006
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
Rewriting, solving, proving (1999)
C Kirchner, H Kirchner
A preliminary version of a book available at http://www. loria. fr …, 0
5
Venous tourniquet
H Kirchner, C Kirchner, C Ihle
US Patent 10,182,825, 2019
22019
Frontiers of combining systems, volume 1794 of Lecture Notes in Computer Science
H Kirchner, C Ringeissen
Springer-Verlag, 2000
22000
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
Simplification and Termination of Strategies
O Fissore, I Gnaedig, H Kirchner
Proceedings of the... International ACM SIGPLAN Conference on Principles and …, 2003
2003
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 5
L Ibanescu, H Kirchner, O Bournez, GM Côme, G Scacchi, V Conraud
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
Системата не може да изпълни операцията сега. Опитайте отново по-късно.
Статии 1–20