1302 search results - page 115 / 261 » Free-Style Theorem Proving |
130
click to vote
CLIMA
2004
15 years 5 months ago
2004
Abstract. We present an encoding of a sequent calculus for a multiagent epistemic logic in Athena, an interactive theorem proving system for many-sorted first-order logic. We then ...
144
click to vote
LATIN
2010
Springer
15 years 11 months ago
2010
Springer
We prove that the radix cross-section of a rational set for a length morphism, and more generally for a rational function from a free monoid into N, is rational, a property that d...
113
click to vote
STACS
2009
Springer
15 years 11 months ago
2009
Springer
We extend the notion of randomness (in the version introduced by Schnorr) to computable Probability Spaces and compare it to a dynamical notion of randomness: typicality. Roughly, ...
146
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
As an attempt to uncover the topological nature of composition of strategies in game semantics, we present a "topological" game for Multiplicative Additive Linear Logic ...
110
click to vote
COMBINATORICS
2007
15 years 4 months ago
2007
For a permutation π = π1π2 · · · πn ∈ Sn and a positive integer i ≤ n, we can view π1π2 · · · πi as an element of Si by order-preserving relabeling. The j-set of ...