1 search results - page 1 / 1 » wadt 1997 |
126
click to vote
WADT
1997
Springer
15 years 7 months ago
1997
Springer
The dynamic behavior of rule-based systems (like term rewriting systems 24], process algebras 27], and so on) can be traditionally determined in two orthogonal ways. Either operati...