On the Equivalence between the /mathcal{L}_1 Action Language and Partial Actions in Transaction Logic - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Martín Rezk, Michael Kifer. On the Equivalence between the /mathcal{L}_1 Action Language and Partial Actions in Transaction Logic. In Sebastian Rudolph, Claudio Gutierrez, editors, Web Reasoning and Rule Systems - 5th International Conference, RR 2011, Galway, Ireland, August 29-30, 2011. Proceedings. Volume 6902 of Lecture Notes in Computer Science, pages 185-200, Springer, 2011. [doi]

This author has not been identified. Look up 'Martín Rezk' in GoogleThis author has not been identified. Look up 'Michael Kifer' in Google

runs on WebDSL