Matching with Membership Constraints for Hedge and Context Variables

Mircea Marin, Temur Kutsia. Matching with Membership Constraints for Hedge and Context Variables. In Mircea Marin, editor, Proceedings of the 22nd International Workshop on Unification, UNIF 2008, Castle of Hagenberg, Austria, July 18, 2008. pages 55-68, 2008. [doi]

Authors

Mircea Marin

This author has not been identified. It may be one of the following persons: Look up 'Mircea Marin' in Google

Temur Kutsia

This author has not been identified. It may be one of the following persons: Look up 'Temur Kutsia' in Google