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
EducationprofessorsReporting an eventinnovations International Laboratory for Intelligent Systems and Structural AnalysisSeminar of the International Laboratory for Intelligent Systems and Structural Analysis
1 October
2016
At the ISSA laboratory seminar Prof. Mark Reynolds gave a talk entitled: "A new rule for LTL tableaux"
Prof. Mark Reynolds is the Head of the School of Computer Science and Software Engineering at The University of Western Australia
EducationReporting an eventSeminar of the International Laboratory for Intelligent Systems and Structural Analysis
29 September
2016
12