|
 
|
M. Aiguier
Publications
2002
- [ABD02] M. Aiguier, D. Bahrami, C. Dubois. "On a Generalised Logicality Theorem", January 2002,
Conférence Internationale avec comité de lecture
2000
- [ABD00] M. Aiguier, D. Bahrami, C. Dubois. "Axioms for Rewriting Theory", PLI 2000, Workshop RULE 2000 : First International Workshop on Rule-Based Programming Montreal, Cana, January 2000,
