3994 search results - page 52 / 799 » A Linear Logical Framework |
131
Voted
SAC
2010
ACM
15 years 10 months ago
2010
ACM
We introduce an extension of linear constraints, called linearrange constraints, which allows for (meta-)reasoning about the approximation width of variables. Semantics for linear...
103
Voted
JLP
2008
15 years 3 months ago
2008
A formulation of na
145
Voted
ICML
1989
IEEE
15 years 7 months ago
1989
IEEE
Logic programming provides a uniform framework in which all aspects of explanation-based generalization and learning may be defined and carried out, but first-order Horn logic i...
134
Voted
CORR
2008
Springer
15 years 3 months ago
2008
Springer
er presents an abstraction of Hoare logic to traced symmetric monoidal categories, a eral framework for the theory of systems. Our abstraction is based on a traced monoidal functor...
128
Voted
JLP
2008
15 years 3 months ago
2008
Currently known sequent systems for temporal logics such as linear time temporal logic and computation tree logic either rely on a cut rule, an invariant rule, or an infinitary ru...