3994 search results - page 61 / 799 » A Linear Logical Framework |
106
click to vote
BMCBI
2006
15 years 15 days ago
2006
Background: Nowadays, a variety of (bio-)polymers can be analyzed by mass spectrometry. The detailed interpretation of the spectra requires a huge number of "hypothesis cycle...
LICS
1987
IEEE
15 years 4 months ago
1987
IEEE
The Edinburgh Logical Framework (LF) provides a means to define (or present) logics. It is based on a general treatment of syntax, rules, and proofs by means of a typed -calculus ...
104
Voted
ICPPW
2008
IEEE
15 years 7 months ago
2008
IEEE
Event traces are helpful in understanding the performance behavior of message-passing applications since they allow in-depth analyses of communication and synchronization patterns...
123
Voted
PLDI
2006
ACM
15 years 6 months ago
2006
ACM
We propose the monadic linear logic programming language LolliMon as a new foundation for the specification of distributed trust management systems, particularly the RT framework...
112
click to vote
AI
2008
Springer
15 years 18 days ago
2008
Springer
It is well-known that knowledgebases may contain inconsistencies. We provide a framework of measures, based on a first-order four-valued logic, to quantify the inconsistency of a ...