Repository | Directory | Profile
![150035](/images/creator/_default.jpg)
Hélène Kirchner
Non-intrusive formal methods and strategic rewriting for a chemical application
2006
in: Algebra, meaning, and computation, Dordrecht : Springer
![Open Access Link](/images/OAlink.png)
Central and East European
Society for Phenomenology
Repository | Directory | Profile
Non-intrusive formal methods and strategic rewriting for a chemical application
2006
in: Algebra, meaning, and computation, Dordrecht : Springer