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