3994 search results - page 42 / 799 » A Linear Logical Framework |
98
Voted
ICWS
2003
IEEE
15 years 1 months ago
2003
IEEE
In this paper, we propose a method for automated web service composition by applying Linear Logic (LL) theorem proving. We distinguish value-added web services and core service by ...
111
click to vote
TCS
2011
14 years 7 months ago
2011
We give a semantic account of the execution time (i.e. the number of cut elimination steps leading to the normal form) of an untyped MELL net. We first prove that: 1) a net is he...
CTCS
1989
Springer
15 years 4 months ago
1989
Springer
We introduce the notion of a candidate for “multiple valued universal constructions” and define stable functors (which generalise functors with left adjoints) in terms of fac...
98
Voted
JELIA
2000
Springer
15 years 4 months ago
2000
Springer
In previous work, we developed a framework for expressing general preference information in default logic and logic programming. Here we show that the approach of Brewka and Eiter ...
ICALP
2009
Springer
16 years 20 days ago
2009
Springer