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. In Narciso Martí-Oliet, Peter Csaba Ölveczky, Carolyn L. Talcott, editors, Logic, Rewriting, and Concurrency - Essays dedicated to José Meseguer on the Occasion of His 65th Birthday. Volume 9200 of Lecture Notes in Computer Science, pages 48-71, Springer, 2015. [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