Context Matching for Compressed Terms

Adria Gascón, Guillem Godoy, Manfred Schmidt-Schauß. Context Matching for Compressed Terms. In Proceedings of the Twenty-Third Annual IEEE Symposium on Logic in Computer Science, LICS 2008, 24-27 June 2008, Pittsburgh, PA, USA. pages 93-102, IEEE Computer Society, 2008. [doi]

@inproceedings{GasconGS08,
  title = {Context Matching for Compressed Terms},
  author = {Adria Gascón and Guillem Godoy and Manfred Schmidt-Schauß},
  year = {2008},
  doi = {10.1109/LICS.2008.17},
  url = {http://doi.ieeecomputersociety.org/10.1109/LICS.2008.17},
  tags = {context-aware},
  researchr = {https://researchr.org/publication/GasconGS08},
  cites = {0},
  citedby = {0},
  pages = {93-102},
  booktitle = {Proceedings of the Twenty-Third Annual IEEE Symposium on Logic in Computer Science, LICS 2008, 24-27 June 2008, Pittsburgh, PA, USA},
  publisher = {IEEE Computer Society},
  isbn = {978-0-7695-3183-0},
}