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

2006

Oana Andrei, Liliana Ibanescu, Helene Kirchner

in: Algebra, meaning, and computation, Berlin,