2 search results - page 1 / 1 » Specifying Various Time Models with Temporal Propositional V... |
BIRTHDAY
2007
Springer
15 years 10 months ago
2007
Springer
136
click to vote
FORMATS
2006
Springer
15 years 7 months ago
2006
Springer
We consider interval measurement logic IML, a sublogic of Zhou and Hansen's interval logic, with measurement functions which provide real-valued measurement of some aspect of ...