680 search results - page 45 / 136 » Complexity of Strict Implication |
LORI
2009
Springer
14 years 8 days ago
2009
Springer
We present in this work a sound and complete modal logic called EDLA (Epistemic Dynamic Logic of Agency) integrating the concepts of joint action, preference and knowledge and ena...
ECAL
2001
Springer
14 years 6 days ago
2001
Springer
A crucial feature of evolving natural systems is parallelism. The simultaneous and distributed application of rules (governed by e.g. biochemistry) is generally considered as the p...
PEPM
1994
ACM
13 years 11 months ago
1994
ACM
First-order projection-based binding-time analysis has proven genuinely useful in partial evaluation Lau91a, Lau91c]. There have been three notable generalisations of projection-b...
COCO
2006
Springer
13 years 11 months ago
2006
Springer
We consider the relationship between the complexities of - and those of restricted to formulas of constant density. Let be the infimum of those such that - on variables can be dec...
ICAT
2007
IEEE
13 years 9 months ago
2007
IEEE
The requirement of tetrahedral mesh generation algorithm, which is a prerequisite of many soft tissue simulation methods, becomes very strict because of the real-time requirement ...