884 search results - page 33 / 177 » The Linear Logic of Multisets |
194
Voted
BANFF
1995
15 years 7 months ago
1995
The automata-theoretic approach to linear temporal logic uses the theory of automata as a unifying paradigm for program specification, verification, and synthesis. Both programs ...
120
Voted
ICWS
2003
IEEE
15 years 4 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 ...
117
Voted
CTCS
1989
Springer
15 years 7 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...
92
Voted
ICALP
2009
Springer
16 years 3 months ago
2009
Springer
83
Voted
CSL
2009
Springer
15 years 10 months ago
2009
Springer
