2272 search results - page 87 / 455 » A Calculus for |
387
click to vote
Book
When I started reading about level set methods, I realized that I must have strong mathematical background in several math areas such as differential geometry, vector calculus, par...
113
click to vote
CADE
2008
Springer
16 years 4 months ago
2008
Springer
Relation algebras provide abstract equational axioms for the calculus of binary relations. They name an established area of mathematics with various applications in computer scienc...
132
click to vote
CADE
2007
Springer
16 years 4 months ago
2007
Springer
We introduce a calculus for handling integer arithmetic in first-order logic. The method is tailored to Java program verification and meant to be used both as a supporting procedur...
133
click to vote
CADE
2006
Springer
16 years 4 months ago
2006
Springer
Abstract. Inspired by the Curry-Howard correspondence, we study normalisation procedures in the depth-bounded intuitionistic sequent calculus of Hudelmaier (1988) for the implicati...
150
click to vote
ADC
2008
Springer
15 years 10 months ago
2008
Springer
As the eXtensible Markup Language (XML) is about to emerge as a new standard for databases, the problem of providing solid logical grounds for XML query languages arises. For the ...