A Unified Semantics for Constraint Handling Rules in Transaction Logic - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Marc Meister, Khalil Djelloul, Jacques Robin. A Unified Semantics for Constraint Handling Rules in Transaction Logic. In Chitta Baral, Gerhard Brewka, John S. Schlipf, editors, Logic Programming and Nonmonotonic Reasoning, 9th International Conference, LPNMR 2007, Tempe, AZ, USA, May 15-17, 2007, Proceedings. Volume 4483 of Lecture Notes in Computer Science, pages 201-213, Springer, 2007. [doi]

This author has not been identified. Look up 'Marc Meister' in GoogleThis author has not been identified. Look up 'Khalil Djelloul' in GoogleThis author has not been identified. Look up 'Jacques Robin' in Google

runs on WebDSL