|
|
|
|
|
|
Help | Seminars List | Add Seminar | Edit Seminars | Tips for organisers | RSS | ics Calendar | Search | Send comments about this website to seminar-master@cecs.anu.edu.au
Contact: Michelle.Moravec@anu.edu.au CS PHD MONITORING
An On-the-fly Decision Procedure for Converse PDLMr Florian Widmann (School of Computer Science, CECS)DATE: 2009-09-24 TIME: 13:30:00 - 14:00:00 LOCATION: RSISE Seminar Room, ground floor, building 115, cnr. North and Daley Roads, ANU ABSTRACT: We non-trivially combine two previous results, an optimal way of handling inverse roles and an on-the-fly decision procedure for PDL, to obtain an optimal and analytic cut free on-the-fly decision procedure for Converse PDL. BIO: PhD Student, School of Computer Science, CECS
|