3994 search results - page 52 / 799 » A Linear Logical Framework |
106
Voted
SAC
2010
ACM
15 years 7 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...
75
Voted
JLP
2008
15 years 12 days ago
2008
A formulation of na
112
Voted
ICML
1989
IEEE
15 years 4 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...
93
Voted
CORR
2008
Springer
15 years 16 days 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...
95
Voted
JLP
2008
15 years 12 days 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...