Abstract Completion, Formalized - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Nao Hirokawa, Aart Middeldorp, Christian Sternagel, Sarah Winkler. Abstract Completion, Formalized. Logical Methods in Computer Science, 15(3), 2019. [doi]

This author has not been identified. Look up 'Nao Hirokawa' 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 'Christian Sternagel' in GoogleThis author has not been identified. Look up 'Sarah Winkler' in Google

runs on WebDSL