Layer Systems for Proving Confluence - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Bertram Felgenhauer, Aart Middeldorp, Harald Zankl, Vincent van Oostrom. Layer Systems for Proving Confluence. ACM Trans. Comput. Log., 16(2), 2015. [doi]

This author has not been identified. Look up 'Bertram Felgenhauer' in GoogleThis author has not been identified. It may be one of the following persons:

Aart Middeldorp

Look up 'Aart Middeldorp' in GoogleThis author has not been identified. Look up 'Harald Zankl' in GoogleThis author has not been identified. Look up 'Vincent van Oostrom' in Google

runs on WebDSL