Constructible differentially finite algebraic series in several variables

François BergeronFrançois Bergeron, Ulrike SattlerUlrike Sattler

François Bergeron, Ulrike Sattler
Constructible differentially finite algebraic series in several variables
Theoretical Computer Science, 144(1-2):59-66, June 1995

Details
Bibtex

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},
}