Defining Datalog in Rewriting Logic - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

María Alpuente, Marco A. Feliú, Christophe Joubert, Alicia Villanueva. Defining Datalog in Rewriting Logic. In Danny De Schreye, editor, Logic-Based Program Synthesis and Transformation, 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers. Volume 6037 of Lecture Notes in Computer Science, pages 188-204, Springer, 2009. [doi]

Identified as María Alpuente This author has not been identified. Look up 'Marco A. Feliú' in GoogleThis author has not been identified. Look up 'Christophe Joubert' in GoogleThis author has not been identified. Look up 'Alicia Villanueva' in Google

runs on WebDSL