11 search results - page 3 / 3 » wia 2000 |
WIA
2000
Springer
13 years 8 months ago
2000
Springer
The Mona tool provides an implementation of the decision procedures for the logics WS1S and WS2S. It has been used for numerous applications, and it is remarkably efficient in prac...