3044 search results - page 56 / 609 » Linear logical approximations |
ENTCS
2006
13 years 8 months ago
2006
ar Logical Abstract Machine Eduardo Bonelli 1 LIFIA, Fac. de Inform
AAI
2010
13 years 3 months ago
2010
In this paper, we propose a proof system for reasoning on certain specifications of secure authentication systems. For this purpose, a new logic, sequence-indexed linear-time temp...
ATAL
2007
Springer
14 years 25 days ago
2007
Springer
Interactions between agents in an open system such as the Internet require a significant degree of flexibility. A crucial aspect of the development of such methods is the notion o...
AMAST
1991
Springer
14 years 10 days ago
1991
Springer
Boolean logic treats disjunction and conjunction symmetrically and algebraically. The corresponding operations for computation are respectively nondeterminism (choice) and concurr...
IS
2006
13 years 8 months ago
2006
This paper introduces a method for automatic composition of Semantic Web services using Linear Logic (LL) theorem proving. The method uses a Semantic Web service language (DAML-S)...