1174 search results - page 6 / 235 » Derivation of Characteristic Formulae |
119
Voted
VMCAI
2012
Springer
13 years 9 months ago
2012
Springer
Abstract. Recently, a general framework on characteristic formulae was proposed by Aceto et al. It offers a simple theory that allows one to easily obtain characteristic formulae o...
87
Voted
DAGSTUHL
2003
15 years 3 months ago
2003
Abstract. Kummer type formulas are identities of hypergeometric series. A symmetry by the permutations of n-letters yields these formulas. We will present an algorithmic method to ...
102
click to vote
APAL
2010
15 years 1 months ago
2010
The characteristic sequence of hypergraphs Pn : n < associated to a formula (x; y), introduced in [5], is defined by Pn(y1, . . . yn) = (x) in (x; yi). We continue the study o...
126
click to vote
FOSSACS
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. We introduce an extension of Hoare logic for call-by-value higherorder functions with ML-like local reference generation. Local references may be generated dynamically an...
112
click to vote
APPML
2006
15 years 1 months ago
2006
Let be a polynomial over K (a field of characteristic 0) such that the Hessian of is a nonzero constant. Let