User Tools

Site Tools


Set Constraints on Regular Terms (BibTeX)

@inproceedings{RychlikowskiTruderung-CSL-2004,
  author      = {Pawel Rychlikowski and Tomasz Truderung},
  title       = {Set Constraints on Regular Terms},
  editor      = {Jerzy Marcinkowski and Andrzej Tarlecki},
  booktitle   = {Computer Science Logic, 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004, Proceedings},
  year        = 2004,
  pages       = {458-472},
  publisher   = {Springer},
  series      = {Lecture Notes in Computer Science},
}