|
|||||
|
|
Mathematical Service Trading Based on Equational Matching |
|
| Authors: | Aur lie Hurault,Marc Pantel |
| Affiliation: | IRIT - ENSEEIHT, 2 rue Camichel, B.P. 7122, F-31071 TOULOUSE CEDEX 7 |
| Abstract: | |
| Keywords: | Algebraic specification Equational matching Mathematical software library Service trading |
| 本文献已被 ScienceDirect 等数据库收录！ | |