Urquhart's course

Article View: ut.theory

Article #355

#355

From: Stephen Cook
Date: Tue, 02 Jan 1990 21:03

2 lines
548 bytes

PHL2122S, Urquhart's course on the complexity of propositional proof systems,
will meet TR10 in the nursing building, corner of St. George and Russell.

Technical Details

Message-ID: <90Jan2.160328est.2376@neat.cs.toronto.edu>

Path: arc1-ca.pugleaf.net!utzoo!utgpu!jarvis.csri.toronto.edu!neat.cs.toronto.edu!sacook

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!utzoo!utgpu!jarvis.csri.toronto.edu!neat.cs.toronto.edu!sacook
From: sacook@cs.toronto.edu (Stephen Cook)
Original-To: theorynews
Subject: Urquhart's course
Message-ID: <90Jan2.160328est.2376@neat.cs.toronto.edu>
Date: Tue, 2 Jan 90 16:03:24 EST
Newsgroups: ut.theory
Distribution: ut
Sender: list-admin@cs.toronto.edu
Approved: ut.theory@mail.ai.toronto.edu
Lines:        2