546 search results - page 83 / 110 » Substructural Operational Semantics as Ordered Logic Program... |
141
click to vote
MTV
2007
IEEE
15 years 11 months ago
2007
IEEE
The widening gap between CPU complexity and verification capability is becoming increasingly more salient. It is impossible to completely verify the functionality of a modern mic...
135
click to vote
LPNMR
1990
Springer
15 years 9 months ago
1990
Springer
We present a general theory for the use of negative premises in the rules of Transition System Specifications (TSSs). We formulate a criterion that should be satisfied by a TSS in ...
164
click to vote
SEMWEB
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Nowadays enterprises request information technologies that leverage structured and unstructured information for providing a single integrated view of business problems in...
158
click to vote
FLOPS
2008
Springer
15 years 7 months ago
2008
Springer
In this paper, we present an extension of the scheme HH(C) (Hereditary Harrop formulas with Constraints) with a suitable formulation of negation in order to obtain a constraint ded...
139
click to vote
ENTCS
2008
15 years 5 months ago
2008
We describe some results inspired to Lafont's Soft Linear Logic (SLL) which is a subsystem of second-order linear logic with restricted rules for exponentials, correct and co...