3552 search results - page 252 / 711 » Proof theory in the abstract |
195
click to vote
DALT
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. This paper extends a programming language for implementing cognitive agents with the capability to explicitly represent beliefs and reason about them. In this programming...
173
click to vote
MKM
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. We present a computational origami construction of Morley’s triangles and automated proof of correctness of the generalized Morley’s theorem in a streamlined process ...
133
click to vote
ASIACRYPT
2004
Springer
16 years 6 hour ago
2004
Springer
Abstract. It is almost a folklore-knowledge that hash-based time-stamping schemes are secure if the underlying hash function is collisionresistant but still no rigorous proofs have...
173
click to vote
TYPES
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. The prototype of a content based search engine for mathematical knowledge supporting a small set of queries requiring matching and/or typing operations is described. The ...
165
click to vote
VMCAI
2004
Springer
15 years 12 months ago
2004
Springer
The method of Invisible Invariants was developed originally in order to verify safety properties of parameterized systems fully automatically. Roughly speaking, the method is based...