Constructible differentially finite algebraic series in several variables
Aus International Center for Computational Logic
Constructible differentially finite algebraic series in several variables
François BergeronFrançois Bergeron, Ulrike SattlerUlrike Sattler
![Constructible differentially finite algebraic series in several variables Constructible differentially finite algebraic series in several variables](/w/images/thumb/e/e2/Missing_document_icon.png/150px-Missing_document_icon.png)
François Bergeron, Ulrike Sattler
Constructible differentially finite algebraic series in several variables
Theoretical Computer Science, 144(1-2):59-66, June 1995
Constructible differentially finite algebraic series in several variables
Theoretical Computer Science, 144(1-2):59-66, June 1995
- KurzfassungAbstract
We extend the concept of CDF-series to the context of several variables, and show that the series solution of first order differential equations y=x(t,y) and functional equations y=x(t,y), with x CDF in two variables, are CDF-series. We also give many effective closure properties for CDF-series in several variables. - Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory
@article{ BeSa95,
author = {Fran{\c{c}}ois {Bergeron} and Ulrike {Sattler}},
journal = {Theoretical Computer Science},
month = {June},
number = {1-2},
pages = {59--66},
title = {Constructible differentially finite algebraic series in several variables},
volume = {144},
year = {1995},
}