Proceedings 5th International Workshop on Higher-Order Rewriting

Details Proceedings 5th International Workshop on Higher-Order Rewriting Proceedings 5th International Workshop on Higher-Order Rewriting

2011-02-17

arxiv.org/abs/1102.3465v1

EPTCS 49, 2011

Computer Science

Logic in Computer Science

Scientific paper

10.4204/EPTCS.49

HOR 2010 is a forum to present work concerning all aspects of higher-order
rewriting. The aim is to provide an informal and friendly setting to discuss
recent work and work in progress. Previous editions of HOR were held in
Copenhagen - Denmark (HOR 2002), Aachen - Germany (HOR 2004), Seattle - USA
(HOR 2006) and Paris - France (HOR 2007).

Affiliated with

Also associated with

No associations

Rating

Proceedings 5th International Workshop on Higher-Order Rewriting does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Proceedings 5th International Workshop on Higher-Order Rewriting, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Proceedings 5th International Workshop on Higher-Order Rewriting will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-379898