680 search results - page 15 / 136 » Complexity of Strict Implication |
LICS
1999
IEEE
13 years 12 months ago
1999
IEEE
We present some new decision and comparison problems of unusually high computational complexity. Most of the problems are strictly combinatorial in nature; others involve basic lo...
JOT
2006
13 years 7 months ago
2006
Complexity is a much analyzed, much debated, much measured property of softwareintensive products. From a strategic point of view, complexity has implications for the development ...
APAL
2008
13 years 7 months ago
2008
This paper proves strong normalization of classical natural deduction with disjunction and permutative conversions, by using CPS-translation and augmentations. By them, this paper...
FSS
2007
13 years 7 months ago
2007
The characterization of S-implications generated from strong negations presented firstly by Trillas and Valverde in 1985 is wellknown in the literature. In this paper we show tha...
ICSM
2005
IEEE
14 years 1 months ago
2005
IEEE
This paper describes an approach and support tool for the modelling and analysis of proposed reconfigurations to complex systems. The configuration models used are quick to constr...