|
 
|
[ABD00] Axioms for Rewriting Theory
Conférence Internationale avec comité de lecture : PLI 2000, Workshop RULE 2000 : First International Workshop on Rule-Based Programming Montreal, Cana, January 2000,
motcle:
BibTeX
| @inproceedings { | |||
| ABD00, | |||
| title | = | "{Axioms for Rewriting Theory}", | |
| author | = | " M. Aiguier and D. Bahrami and C. Dubois ", | |
| booktitle | = | "{PLI 2000, Workshop RULE 2000 : First International Workshop on Rule-Based Programming Montreal, Cana}", | |
| year | = | 2000, | |
| month | = | "January", | |
| } | |||
