Horatiu Cirstea

Identifiers

No identifiers captured yet.

Papers (3)

1. Generic Encodings of Constructor Rewriting Systems cs.LO · 2019 · author #1
2. Faithful (meta-)encodings of programmable strategies into term rewriting systems cs.PL · 2017 · author #1
3. Rewriting Calculus: Foundations and Applications cs.SC · 2000 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Pierre-Etienne Moreau 2 shared papers
• Serguei Lenglet 1 shared papers