835 search results - page 16 / 167 » Geometric Logic in Computer Science |
JAPLL
2006
13 years 8 months ago
2006
Hybrid logics are a principled generalization of both modal logics and description logics, a standard formalism for knowledge representation. In this paper we give the first const...
TCS
2011
13 years 3 months ago
2011
We introduce the Danos-Régnier category
RTA
1997
Springer
14 years 23 days ago
1997
Springer
In the development of algorithms for finding the minimal solutions of systems of linear Diophantine equations, little use has been made (to our knowledge) of the results by Stanle...
FOCS
1992
IEEE
14 years 21 days ago
1992
IEEE
We describe dynamic data structures for half-space range reporting and for maintaining the minima of a decomposable function. Using these data structures, we obtain efficient dyna...
TIME
2007
IEEE
14 years 2 months ago
2007
IEEE
Computer science has long been considered to emphasize three distinct perspectives: mathematics, science, and engineering. While the database field has some very strong mathemati...