4 results
Equational theorem proving for clauses over strings
-
- Journal:
- Mathematical Structures in Computer Science , First View
- Published online by Cambridge University Press:
- 18 April 2024, pp. 1-24
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
UNIQUENESS OF A NONHARMONIC TRIGONOMETRIC SERIES UNDER AN EXPONENTIAL GROWTH CONDITION
-
- Journal:
- Bulletin of the London Mathematical Society / Volume 33 / Issue 2 / March 2001
- Published online by Cambridge University Press:
- 18 April 2001, pp. 199-202
- Print publication:
- March 2001
-
- Article
- Export citation
A quasianalytic singular spectrum with respect to the Denjoy-Carleman class
-
- Journal:
- Nagoya Mathematical Journal / Volume 148 / December 1997
- Published online by Cambridge University Press:
- 22 January 2016, pp. 137-149
- Print publication:
- December 1997
-
- Article
-
- You have access
- Export citation
Positive definite hyperfunctions
-
- Journal:
- Nagoya Mathematical Journal / Volume 140 / December 1995
- Published online by Cambridge University Press:
- 22 January 2016, pp. 139-149
- Print publication:
- December 1995
-
- Article
-
- You have access
- Export citation