2062 search results - page 83 / 413 » Derivatives of Logical Formulas |
88
Voted
APPML
2005
15 years 3 months ago
2005
Some new inequalities for the Cebysev functional in terms of the first derivative and applications for Taylor's expansion and generalised trapezoid formula are pointed out.
115
click to vote
COMBINATORICS
2004
15 years 3 months ago
2004
We gave a new criterion for graphical partitions. We derive a new recursion formula, which allows the computation of the number g(n) of graphical partitions of weight n for up to ...
162
Voted
ENTCS
2007
15 years 3 months ago
2007
We consider the non-orthodox proof rules of hybrid logic from the viewpoint of topological semantics. Topological semantics is more general than Kripke semantics. We show that the...
143
Voted
JAR
2000
15 years 3 months ago
2000
We present a formal specification and verification approach for industrial product data bases containing Boolean logic formulae to express constraints. Within this framework, globa...
148
Voted
CADE
2012
Springer
13 years 6 months ago
2012
Springer
The problem of SPARQL query containment is defined as determining if the result of one query is included in the result of another for any RDF graph. Query containment is important...