Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Hélene Kirchner

Rewriting Strategies and Strategic Rewrite Programs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2015English

Related publications

Narrowing Strategies for Arbitrary Canonical Rewrite Systems

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
1995English

Termination of Rewriting Under Strategies

ACM Transactions on Computational Logic
Computational MathematicsTheoretical Computer ScienceComputer ScienceLogic
2009English

Strategic Port Graph Rewriting: An Interactive Modelling Framework

Mathematical Structures in Computer Science
MathematicsComputer Science Applications
2018English

Translating Logic Programs Into Conditional Rewriting Systems

1997English

Automatic Parallelization and Optimization of Programs by Proof Rewriting

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

Term Rewriting With Prefix Context Constraints and Bottom-Up Strategies

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2015English

A Method of Tuning Programs on .Net Platform With Rewriting Rules

PROBLEMS IN PROGRAMMING
2019English

Strategic Planning to Improve EHDI Programs

Volta Review
DevelopmentalArtsCultural StudiesEducational PsychologyHumanities
2011English

Strategic Approach of Tahfiz Programs for Malaysian Polytechnics

Creative Education
2019English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy