62 search results - page 13 / 13 » On a Generalisation of Herbrand's Theorem |
FORMATS
2006
Springer
13 years 8 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 ...
CORR
2010
Springer
13 years 4 months ago
2010
Springer
Contrary to the sequential world, the processes involved in a distributed system do not necessarily know when a computation is globally finished. This paper investigates the proble...