12289 search results - page 451 / 2458 » computing 2006 |
160
click to vote
CIE
2006
Springer
15 years 10 months ago
2006
Springer
LJQ is a focused sequent calculus for intuitionistic logic, with
144
click to vote
ACSC
2006
IEEE
15 years 10 months ago
2006
IEEE
We introduce a logic for reasoning about and constructing refinements for
147
Voted
COMPUTER
2006
15 years 6 months ago
2006
egrating middleware layer that abstracts the execution environment and implements services and communication channels, and