The Maude strategy language - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Steven Eker, Narciso Martí-Oliet, José Meseguer, Rubén Rubio, Alberto Verdejo. The Maude strategy language. J. Log. Algebr. Meth. Program., 134:100887, August 2023. [doi]

This author has not been identified. It may be one of the following persons:

Steven Eker

Look up 'Steven Eker' in GoogleThis author has not been identified. Look up 'Narciso Martí-Oliet' in GoogleThis author has not been identified. It may be one of the following persons:

José Meseguer

Look up 'José Meseguer' in GoogleThis author has not been identified. Look up 'Rubén Rubio' in GoogleThis author has not been identified. Look up 'Alberto Verdejo' in Google

runs on WebDSL