3994 search results - page 116 / 799 » A Linear Logical Framework |
87
Voted
BIRTHDAY
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. With the recent trend of analysing the process of computation through the linear logic looking glass, it is well understood that the ability to copy and erase data is ess...
74
Voted
EUSFLAT
2007
15 years 2 months ago
2007
We propose a general semantic notion of modal many-valued logic. Then, we explore the difficulties to characterize this notation in a syntactic way and analyze the existing litera...
86
Voted
DAM
1999
15 years 8 days ago
1999
We analyse the generalisation accuracy of standard techniques for the `logical analysis of data', within a probabilistic framework.
109
Voted
CSCLP
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. The union-find algorithm can be seen as solving simple equations between variables or constants. With a few lines of code change, we generalise its implementation in CHR...
81
Voted
LICS
2002
IEEE
15 years 5 months ago
2002
IEEE
The meaning and mathematical consequences of linearity (managing without a presumed ability to copy) are studied for a path-based model of processes which is also a model of affi...