8582 search results - page 166 / 1717 » Here or There |
183
click to vote
LOPSTR
2000
Springer
15 years 10 months ago
2000
Springer
In this paper we will present a formal framework, based on the notion of extraction calculus, which has been successfully applied to define procedures for extracting information fr...
179
click to vote
PADL
2000
Springer
15 years 10 months ago
2000
Springer
Constraint combination methods are essential for a flexible constraint programming system. This paper presents deep concurrent constraint combinators based on computation spaces as...
166
click to vote
RTA
2000
Springer
15 years 10 months ago
2000
Springer
Linear Second-Order Unification and Context Unification are closely related problems. However, their equivalence was never formally proved. Context unification is a restriction of ...
157
click to vote
TYPES
2000
Springer
15 years 10 months ago
2000
Springer
Higman's lemma has a very elegant, non-constructive proof due to Nash-Williams [NW63] using the so-called minimal-bad-sequence argument. The objective of the present paper is ...
153
click to vote
ZUM
2000
Springer
15 years 10 months ago
2000
Springer
We have recently completed the specication and security proof of a large, industrial scale application. The application is security critical, and the modelling and proof were done ...