680 search results - page 1 / 136 » Complexity of Strict Implication |
AIML
2004
13 years 6 months ago
2004
abstract. The aim of the present paper is to analyze the complexity of strict implication (together with falsum, conjunction and disjunction). We prove that Ladner's Theorem r...
ATAL
2006
Springer
13 years 8 months ago
2006
Springer
The ability to coordinate effectively is critical for agents to accomplish their goals in a multi-agent system. A number of researchers have modeled the coordination problem for m...
INDIASE
2009
ACM
13 years 11 months ago
2009
ACM
ADCM
1999
13 years 4 months ago
1999
SAS
2010
Springer
13 years 3 months ago
2010
Springer
Abstract. Properties of programs can be formulated using various techdataflow analysis, abstract interpretation and type-like inference systems. This paper reconstructs strictness...