BibTeX record conf/aisc/Kutsia04

download as .bib file

@inproceedings{DBLP:conf/aisc/Kutsia04,
  author    = {Temur Kutsia},
  title     = {Solving Equations Involving Sequence Variables and Sequence Functions},
  booktitle = {{AISC}},
  series    = {Lecture Notes in Computer Science},
  volume    = {3249},
  pages     = {157--170},
  publisher = {Springer},
  year      = {2004}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics