13383 search results - page 269 / 2677 » Abstractions from proofs |
173
click to vote
CADE
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. The little theories method, in which mathematical reasoning is distributed across a network of theories, is a powerful technique for describing and analyzing complex syst...
206
click to vote
COLLABORATION
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. We present a formal model of negotiation between autonomous agents. The purpose of the negotiation is to reach an agreement about the provision of a service by one agent ...
143
click to vote
TPHOL
1999
IEEE
15 years 11 months ago
1999
IEEE
Abstract. Intel is applying formal verification to various pieces of mathematical software used in Merced, the first implementation of the new IA-64 architecture. This paper discus...
181
click to vote
PKC
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. Thwarting unlawful redistribution of information sold electronically is a major problem of information-based electronic commerce. Anonymous fingerprinting has appeared a...
191
click to vote
LACL
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. The paper proposes a type logical reformulation of Jacobson's ([9]) treatment of anaphoric dependencies in Categorial Grammar. To this end, the associative Lambek Ca...