At the ISSA laboratory seminar Prof. Mark Reynolds gave a talk entitled: "A Faster Tableau for CTL*"
Prof. Mark Reynolds is the Head of the School of Computer Science and Software Engineering at The University of Western Australia
We use cookies in order to improve the quality and usability of the HSE website. More information about the use of cookies is available here, and the regulations on processing personal data can be found here. By continuing to use the site, you hereby confirm that you have been informed of the use of cookies by the HSE website and agree with our rules for processing personal data. You may disable cookies in your browser settings.
Head of the Laboratory:
Sergei Kuznetsov
Manager:
Pavel Zhidkikh
Address:
Pokrovsky boulevard, 11, room S938,
Moscow,Russia,109028
Phone:
+7(495)772-95-90 ext. 27320
Head of the Laboratory:
Sergei Kuznetsov
Manager:
Pavel Zhidkikh
Address:
Pokrovsky boulevard, 11, room S938,
Moscow,Russia,109028
Phone:
+7(495)772-95-90 ext. 27320
Prof. Mark Reynolds is the Head of the School of Computer Science and Software Engineering at The University of Western Australia
HSE Sans and HSE Slab fonts developed by the HSE Art and Design School