10916 search results - page 378 / 2184 » On Constructive Connectives and Systems |
165
click to vote
ICALP
2010
Springer
16 years 15 days ago
2010
Springer
We prove that TAUT has a p-optimal proof system if and only if a logic related to least fixed-point logic captures polynomial time on all finite structures. Furthermore, we show ...
183
click to vote
ECCC
2010
15 years 7 months ago
2010
We prove that TAUT has a p-optimal proof system if and only if a logic related to least fixed-point logic captures polynomial time on all finite structures. Furthermore, we show t...
181
click to vote
AUTOMATICA
1999
15 years 7 months ago
1999
We consider stability analysis and state feedback synthesis for Linear Parameter Varying (LPV) systems. LPV systems are de"ned as linear systems whose dynamics depend on exog...
167
click to vote
RC
2007
15 years 7 months ago
2007
This article proposes an approach for investigating the exponential stability of a nonlinear interval dynamical system with the nonlinearity of a quadratic type on the basis of the...
198
click to vote
SPIRE
1999
Springer
15 years 12 months ago
1999
Springer
Collaborative applications provide a group of users with the facility to communicate and share data in a coordinate way. In this paper we propose a pattern system to design the ba...