vti_encoding:SR|utf8-nl vti_timelastmodified:TR|10 Oct 2005 18:11:16 -0000 vti_extenderversion:SR|5.0.2.6790 vti_title:SR|Dexter Kozen vti_lineageid:SR|{F9AA96CC-3FA3-41EA-BC8B-9C6B40E588E2} vti_backlinkinfo:VX|1996/beginning/research-interests.html vti_cacheddtm:TX|10 Oct 2005 18:11:16 -0000 vti_filesize:IR|4414 vti_cachedtitle:SR|Dexter Kozen vti_cachedbodystyle:SR| vti_cachedlinkinfo:VX|S|/Icons/redball.gif H|/Info/Department/Annual96/Home-Page/home.html S|/Icons/redball.gif H|http://www.cs.cornell.edu/ H|mailto:www@cs.cornell.edu vti_cachedsvcrellinks:VX|NSUS|/Icons/redball.gif NHUS|/Info/Department/Annual96/Home-Page/home.html NSUS|/Icons/redball.gif NHHS|http://www.cs.cornell.edu/ NHUS|mailto:www@cs.cornell.edu vti_cachedneedsrewrite:BR|false vti_cachedhasbots:BR|false vti_cachedhastheme:BR|false vti_cachedhasborder:BR|false vti_charset:SR|windows-1252