User Tools

Site Tools


Solving Linear Equations over Regular Languages (BibTeX)

@INPROCEEDINGS{BaaderKuesters-UNIF-2001,
  author      = {F.~Baader and R.~K{\"u}sters},
  title       = {Solving Linear Equations over Regular Languages},
  booktitle   = {Proceedings of the 15th International Workshop on Unification (UNIF 2001)},
  pages       = {27--31},
  year        = 2001,
  note        = {Available via \url{http://goedel.cs.uiowa.edu/unif2001/}}
}