RISC RISC Research Institute for Symbolic Computation  
  • @inproceedings{RISC443,
    author = {Temur Kutsia},
    title = {{Solving Equations Involving Sequence Variables and Sequence Functions}},
    booktitle = {{Proceedings of the 7th International Conference on Artificial Intelligence and Symbolic Computation, AISC'04}},
    language = {english},
    series = {Lecture Notes in Artificial Intelligence},
    volume = {3249},
    pages = {157--170},
    publisher = {Springer Verlag},
    address = {Hagenberg, Austria},
    isbn_issn = {ISBN 3-540-23212-5},
    year = {2004},
    month = {Sep 22--24},
    editor = {Bruno Buchberger and John A.~Campbell},
    refereed = {yes},
    length = {14}
    }