Decision procedures for modal logics of actions, resources and concurrency. (Procédures de décision pour des logiques modales d'actions, de ressources et de concurrence) - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Joseph Boudou. Decision procedures for modal logics of actions, resources and concurrency. (Procédures de décision pour des logiques modales d'actions, de ressources et de concurrence). PhD thesis, Paul Sabatier University, Toulouse, France, 2016. [doi]

This author has not been identified. Look up 'Joseph Boudou' in Google

runs on WebDSL