Unification Modulo Lists with Reverse Relation with Certain Word Equations - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Siva Anantharaman, Peter Hibbs, Paliath Narendran, Michaël Rusinowitch. Unification Modulo Lists with Reverse Relation with Certain Word Equations. In Pascal Fontaine, editor, Automated Deduction - CADE 27 - 27th International Conference on Automated Deduction, Natal, Brazil, August 27-30, 2019, Proceedings. Volume 11716 of Lecture Notes in Computer Science, pages 1-17, Springer, 2019. [doi]

This author has not been identified. Look up 'Siva Anantharaman' in GoogleThis author has not been identified. Look up 'Peter Hibbs' in GoogleThis author has not been identified. Look up 'Paliath Narendran' in GoogleThis author has not been identified. Look up 'Michaël Rusinowitch' in Google

runs on WebDSL