Reasoning about Layered, Wildcard and Product Patterns

Delia Kesner. Reasoning about Layered, Wildcard and Product Patterns. In Giorgio Levi, Mario Rodríguez-Artalejo, editors, Algebraic and Logic Programming, 4th International Conference, ALP 94, Madid, Spain, September 14-16, 1994, Proceedings. Volume 850 of Lecture Notes in Computer Science, pages 253-268, Springer, 1994.

@inproceedings{Kesner94:0,
  title = {Reasoning about Layered, Wildcard and Product Patterns},
  author = {Delia Kesner},
  year = {1994},
  researchr = {https://researchr.org/publication/Kesner94%3A0},
  cites = {0},
  citedby = {0},
  pages = {253-268},
  booktitle = {Algebraic and Logic Programming, 4th International Conference, ALP 94, Madid, Spain, September 14-16, 1994, Proceedings},
  editor = {Giorgio Levi and Mario Rodríguez-Artalejo},
  volume = {850},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-58431-5},
}