197
click to vote
AISC
2008
Springer
15 years 9 months ago
2008
Springer
Grid computing offers a promising approach to solving challenging computational problems in an environment consisting of a large number of easily accessible resources. In this pape...
156
click to vote
AISC
2008
Springer
15 years 9 months ago
2008
Springer
Craig's Interpolation Theorem is an important meta-theoretical result for several logics. Here we describe a formalisation of the result for first-order intuitionistic logic w...
215
click to vote
AISC
2008
Springer
15 years 9 months ago
2008
Springer
Graph-based formalisms of quantum computation provide an abstract and symbolic way to represent and simulate computations. However, manual manipulation of such graphs is slow and e...
134
click to vote
AISC
2008
Springer
15 years 9 months ago
2008
Springer
Traditionally a rigorous mathematical document consists of a sequence of definition