31324 search results - page 251 / 6265 » Compare |
142
Voted
CN
2002
15 years 7 months ago
2002
121
Voted
CVIU
2000
15 years 7 months ago
2000
199
Voted
ENTCS
2002
15 years 7 months ago
2002
The need to model systems and their different aspects leads to research and development of models which support all views of a system. The growing complexity of the software impos...
195
Voted
ENTCS
2002
15 years 7 months ago
2002
Meseguer's rewriting logic and the rewriting logic CRWL are two well-known approaches to rewriting as logical deduction that, despite some clear similarities, were designed w...
