vti_encoding:SR|utf8-nl vti_timelastmodified:TR|17 Jul 2016 21:18:15 -0000 vti_title:SR|Aquinas Hobor ~ Teaching vti_author:SR|CANYON\\user vti_modifiedby:SR|CANYON\\user vti_nexttolasttimemodified:TR|17 Jul 2016 21:18:15 -0000 vti_timecreated:TR|17 Nov 2014 18:06:36 -0000 vti_extenderversion:SR|12.0.0.6211 vti_syncwith_localhost\\c\:\\users\\user\\documents\\my web sites\\main/c\:/users/user/documents/my web sites/main:TR|17 Jul 2016 21:18:15 -0000 vti_backlinkinfo:VX|AH.dwt personal.html barrier/index.html research-statement.html Publications/publications.html cv.html projects.html vsl/index.html BBComp/index.html index.html Teaching/teaching.html vti_syncwith_localhost\\c\:\\users\\user\\documents\\my web sites\\published/c\:/users/user/documents/my web sites/published:TR|17 Nov 2014 16:51:48 -0000 vti_cacheddtm:TX|19 Jul 2016 21:49:45 -0000 vti_filesize:IR|8969 vti_cachedtitle:SR|Aquinas Hobor ~ Teaching vti_cachedbodystyle:SR| vti_cachedlinkinfo:VX|G|../AH.dwt H|../index.html H|../projects.html H|teaching.html H|../Publications/publications.html H|../cv.html H|../research-statement.html H|mailto:\\ lastname@comp.nus.edu.sg S|../email2.gif H|../Publications/2016/Ramifications\\ of\\ Mechanized\\ Localizations.pdf H|../Publications/2015/OmegaPP.pdf H|../Publications/2016/Decidability\\ and\\ Complexity\\ of\\ Tree\\ Share\\ Formulas.pdf H|../Publications/2016/Certified\\ Share\\ Procedure.pdf H|../Publications/2016/Ramifications\\ of\\ Mechanized\\ Localizations.pdf H|../vsl/index.html H|LXB-FYP.pdf H|../Publications/2012/share_dec.pdf H|../Publications/2012/share_dec.pdf H|LXB-UROP.pdf H|LXB-UROP.pdf H|../Publications/2011/barrier.pdf H|../Publications/2012/barrier-journal.pdf H|../Publications/2012/barrier-journal.pdf H|../Publications/2011/logicfs.pdf H|../Publications/2011/logicfs.pptx H|../Publications/2011/logicfs.bib H|http://www.comp.nus.edu.sg/~henz/cs3234/ H|../Publications/2010/lnotes_Induction.pdf H|../Publications/2010/lnotes_Hoare.pdf H|http://www.comp.nus.edu.sg/~henz/cs3234/ K|teaching.html H|http://www.cs.princeton.edu/~aahobor/Lucy-Day/Menu/Index.shtml vti_cachedsvcrellinks:VX|FGUS|AH.dwt FHUS|index.html FHUS|projects.html FHUS|Teaching/teaching.html FHUS|Publications/publications.html FHUS|cv.html FHUS|research-statement.html NHUS|mailto:\\ lastname@comp.nus.edu.sg FSUS|email2.gif FHUS|Publications/2016/Ramifications\\ of\\ Mechanized\\ Localizations.pdf FHUS|Publications/2015/OmegaPP.pdf FHUS|Publications/2016/Decidability\\ and\\ Complexity\\ of\\ Tree\\ Share\\ Formulas.pdf FHUS|Publications/2016/Certified\\ Share\\ Procedure.pdf FHUS|Publications/2016/Ramifications\\ of\\ Mechanized\\ Localizations.pdf FHUS|vsl/index.html FHUS|Teaching/LXB-FYP.pdf FHUS|Publications/2012/share_dec.pdf FHUS|Publications/2012/share_dec.pdf FHUS|Teaching/LXB-UROP.pdf FHUS|Teaching/LXB-UROP.pdf FHUS|Publications/2011/barrier.pdf FHUS|Publications/2012/barrier-journal.pdf FHUS|Publications/2012/barrier-journal.pdf FHUS|Publications/2011/logicfs.pdf FHUS|Publications/2011/logicfs.pptx FHUS|Publications/2011/logicfs.bib NHHS|http://www.comp.nus.edu.sg/~henz/cs3234/ FHUS|Publications/2010/lnotes_Induction.pdf FHUS|Publications/2010/lnotes_Hoare.pdf NHHS|http://www.comp.nus.edu.sg/~henz/cs3234/ FKUS|Teaching/teaching.html NHHS|http://www.cs.princeton.edu/~aahobor/Lucy-Day/Menu/Index.shtml vti_cachedneedsrewrite:BR|false vti_cachedhasbots:BR|false vti_cachedhastheme:BR|false vti_cachedhasborder:BR|false vti_metatags:VR|HTTP-EQUIV=Content-Type text/html;\\ charset=windows-1252 vti_charset:SR|windows-1252