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.

Abstract

Abstract is missing.