Nominal/ijcar-08.html
author Christian Urban <christian dot urban at kcl dot ac dot uk>
Wed, 28 Sep 2016 06:22:27 +0100
changeset 460 01214b7c6131
parent 411 a430e494cb19
child 465 4dac76eb27d9
permissions -rw-r--r--
updated

<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Frameset//EN"
   "http://www.w3.org/TR/html4/frameset.dtd">
<html>
<head>
    <meta content="text/html; charset=ISO-8859-1" http-equiv="content-type">
    <title>Nominal Methods Group</title>
    <link rel="stylesheet" href="nominal.css">
</head>


<body>

<META 
     HTTP-EQUIV="Refresh"
     CONTENT="2; URL=http://www.inf.kcl.ac.uk/staff/urbanc/Nominal/activities/nominal-ijcar08/">

</body>
</html>