On equal μ-terms

Jörg Endrullis, Clemens Grabmayer, Jan Willem Klop, Vincent van Oostrom. On equal μ-terms. Theoretical Computer Science, 412(28):3175-3202, 2011. [doi]

Authors

Jörg Endrullis

This author has not been identified. Look up 'Jörg Endrullis' in Google

Clemens Grabmayer

This author has not been identified. Look up 'Clemens Grabmayer' in Google

Jan Willem Klop

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

Vincent van Oostrom

This author has not been identified. Look up 'Vincent van Oostrom' in Google