Satisfiability of Modal Inclusion Logic: Lax and Strict Semantics - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Lauri Hella, Antti Kuusisto, Arne Meier, Heribert Vollmer. Satisfiability of Modal Inclusion Logic: Lax and Strict Semantics. ACM Trans. Comput. Log., 21(1), 2020. [doi]

This author has not been identified. Look up 'Lauri Hella' in GoogleThis author has not been identified. Look up 'Antti Kuusisto' in GoogleThis author has not been identified. Look up 'Arne Meier' in GoogleThis author has not been identified. Look up 'Heribert Vollmer' in Google

runs on WebDSL