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