5084 search results - page 132 / 1017 » Proving Possibility Properties |
167
Voted
JAR
2002
15 years 5 months ago
2002
We formalise natural deduction for first-order logic in the proof assistant Coq, using De Bruijn indices for variable binding. The main judgement we model is of the form d [:] , ...
151
Voted
JSYML
2010
15 years 10 days ago
2010
We consider valued fields with a distinguished isometry or contractive derivation as valued modules over the Ore ring of difference operators. Under certain assumptions on the resi...
149
click to vote
CPC
2006
15 years 5 months ago
2006
We observe returns of a simple random walk on a finite graph to a fixed node, and would like to infer properties of the graph, in particular properties of the spectrum of the trans...
113
click to vote
RSA
2002
15 years 5 months ago
2002
Let H be a fixed graph with h vertices, let G be a graph on n vertices and suppose that at least n2 edges have to be deleted from it to make it H-free. It is known that in this ca...
149
click to vote
COSIT
1999
Springer
15 years 9 months ago
1999
Springer
In qualitative spatial reasoning, the last ten years have brought a lot of results on theories of spatial properties and relations taking regions of space as primitive entities. In...