Sentence-Normalized Conditional Narrowing Modulo in Rewriting Logic and Maude - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Luis Aguirre, Narciso Martí-Oliet, Miguel Palomino, Isabel Pita. Sentence-Normalized Conditional Narrowing Modulo in Rewriting Logic and Maude. Journal of Automated Reasoning, 60(4):421-463, 2018. [doi]

This author has not been identified. Look up 'Luis Aguirre' in GoogleThis author has not been identified. Look up 'Narciso Martí-Oliet' in GoogleThis author has not been identified. Look up 'Miguel Palomino' in GoogleThis author has not been identified. Look up 'Isabel Pita' in Google

runs on WebDSL