diff -r d90b63445b62 -r 6cc6d2d2de3c logic.html
--- a/logic.html Sat Oct 22 11:26:19 2011 +0100
+++ b/logic.html Sat Oct 22 11:44:23 2011 +0100
@@ -66,14 +66,13 @@
Claudia Faggian
Dale Miller
Daniel Friedman
-David Pym
-Didier Galmiche
+David Pym
Edmund Robinson
Frank Pfenning
Gavin Bierman
George Necula
Gianluigi Bellin
-Gilles Dowek
+Gilles Dowek
Glynn Winskel
Gopalan Nadathur
Gordon Plotkin
@@ -85,19 +84,23 @@
Jean Gallier,
papers
Jean-Yves Girard
+Joachim Parrow
John Harrison
John Mitchell
Karl Crary
+Larry Paulson
+Lars Birkedal
-- Larry Paulson
+- Laurie Tratt
- Luke Ong
+- Maribel Fernandez
+- Markus Wenzel
- Martin Hofmann
- Martin Hyland
-- Markus Wenzel
- Matthias Baaz
- Matthias Felleisen
- Michael Norrish
@@ -116,7 +119,7 @@
- Roy Dyckhoff
- Samson Abramsky
- Steffen Hölldobler
-- Solomon Feferman
+- Steffen Zschaler
- Stefan Berghofer
- Steve Zdancewic
- Thierry Coquand
@@ -139,8 +142,6 @@
Researchers in Rewriting
-
List of open problems in term rewriting
--
- Mathematical logic
- Computability Logic Homepage
@@ -151,7 +152,7 @@
-Last modified: Mon Mar 29 08:15:12 CEST 2010
+Last modified: Sat Oct 22 11:44:13 BST 2011
[Validate this page.]
|