Hélène Kirchner
Hélène Kirchner
Geverifieerd e-mailadres voor inria.fr - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
An overview of ELAN
P Borovanský, C Kirchner, H Kirchner, PE Moreau, C Ringeissen
Electronic Notes in Theoretical Computer Science 15, 55-70, 1998
3081998
Tying device for body parts
C Kirchner
US Patent 5,535,485, 1996
111996
Chip capacitor
R Nakamura, Y Suizu, M Fukuda, S Matsunaga, T Shoji
US Patent 6,735,074, 2004
102004
Frontiers of Combining Systems: Third International Workshop, FroCoS 2000 Nancy, France, March 22-24, 2000 Proceedings
H Kirchner, C Ringeissen
Springer, 2006
82006
Equational Logic and Rewriting.
C Kirchner, H Kirchner
Computational Logic, 255-282, 2014
72014
Termination and normalisation under strategy Proofs in ELAN
H Kirchner, I Gnaedig
Electronic Notes in Theoretical Computer Science 36, 93-120, 2000
62000
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
Ligature device for body parts
C Kirchner
US Patent 7,320,699, 2008
32008
Frontiers of combining systems, volume 1794 of Lecture Notes in Computer Science
H Kirchner, C Ringeissen
Springer-Verlag, 2000
22000
Venous tourniquet
H Kirchner, C Kirchner, C Ihle
US Patent 10,182,825, 2019
12019
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 Termin^^ O of Strategies in Rule-Based Languages
O Fissore, I Gnaedig, H Kirchner
Proceedings of the... International ACM SIGPLAN Conference on Principles and …, 2003
2003
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20