Mean value theorems for divided differences and approximate Peano derivatives
Several mean value theorems for higher order divided differences and approximate Peano derivatives are proved.
Watson-Crick pushdown automata
A multi-head 1-way pushdown automaton with heads is a pushdown automaton with 1-way read heads on the input tape and a stack. It was previously shown that the deterministic variant of the model cannot accept all the context free languages. In this paper, we introduce a 2-tape, 2-head model namely Watson-Crick pushdown automata where the content of the second tape is determined using a complementarity relation, similar to Watson-Crick automata. We show computational powers of nondeterministic...
Analogues of Jacobi's two-square theorem: an informal account.
Boolean structure of triangular norms.
In this note results obtained by S.Ray (1997) on representation of a Boolean algebra by its triangular norms are generalized.
Some results on sets of positive measure in a metric space
On decomposition in barrelled spaces
Schauder decompositions in dual and bidual spaces
Page 1