logic.html
changeset 206 d2cfbddb2e15
parent 205 1843390d235d
child 207 d40cedf90810
equal deleted inserted replaced
205:1843390d235d 206:d2cfbddb2e15
   105 </TD>
   105 </TD>
   106 
   106 
   107 <TD>
   107 <TD>
   108 <DL>
   108 <DL>
   109 <DD><A HREF="http://tratt.net/laurie/">Laurie Tratt</A></DD>
   109 <DD><A HREF="http://tratt.net/laurie/">Laurie Tratt</A></DD>
       
   110 <DD><A HREF="http://www.comlab.ox.ac.uk/oucl/people/luke.ong.html">Luke Ong</A></DD>
   110 <DD><A HREF="http://shemesh.larc.nasa.gov/people/mrm/">Mahyar Malekpour</A></DD>
   111 <DD><A HREF="http://shemesh.larc.nasa.gov/people/mrm/">Mahyar Malekpour</A></DD>
   111 <DD><A HREF="http://www.comlab.ox.ac.uk/oucl/people/luke.ong.html">Luke Ong</A></DD>
       
   112 <DD><A HREF="http://www.inf.kcl.ac.uk/staff/maribel/">Maribel Fernandez</A></DD>
   112 <DD><A HREF="http://www.inf.kcl.ac.uk/staff/maribel/">Maribel Fernandez</A></DD>
   113 <DD><A HREF="http://www4.in.tum.de/~wenzelm/">Markus Wenzel</A></DD>
   113 <DD><A HREF="http://www4.in.tum.de/~wenzelm/">Markus Wenzel</A></DD>
   114 <DD><A HREF="http://www.tcs.informatik.uni-muenchen.de/~mhofmann/">Martin Hofmann</A></DD>
   114 <DD><A HREF="http://www.tcs.informatik.uni-muenchen.de/~mhofmann/">Martin Hofmann</A></DD>
   115 <DD><A HREF="http://www.dpmms.cam.ac.uk/~martin/">Martin Hyland</A></DD>
   115 <DD><A HREF="http://www.dpmms.cam.ac.uk/~martin/">Martin Hyland</A></DD>
   116 <DD><A HREF="http://www.logic.at/staff/baaz/">Matthias Baaz</A></DD>
   116 <DD><A HREF="http://www.logic.at/staff/baaz/">Matthias Baaz</A></DD>
   161 </TD> 
   161 </TD> 
   162 </TR>
   162 </TR>
   163  
   163  
   164 </TABLE>
   164 </TABLE>
   165 <P>
   165 <P>
   166 <!-- hhmts start --> Last modified: Wed Jun 19 10:18:50 EDT 2013 <!-- hhmts end -->
   166 <!-- hhmts start --> Last modified: Thu Jun 20 09:25:40 EDT 2013 <!-- hhmts end -->
   167 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a>
   167 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a>
   168 </BODY>
   168 </BODY>
   169 </HTML>
   169 </HTML>
   170    
   170    
   171 
   171