Repository | Directory | Profile

150035

Hélène Kirchner

Bibliography ¹

Non-intrusive formal methods and strategic rewriting for a chemical application

2006

Oana Andrei Liliana Ibanescu Hélène Kirchner

in: Algebra, meaning, and computation, Dordrecht : Springer

Open Access Link

Order by

Filter

Language

english/english

Period

2000-2009