Seminars — Logic and Computation.

Logic and Computation Seminar

27/10/2000, Friday, 16:30–17:30
Room P3.10, Mathematics Building

$Carlos Caleiro$

Carlos Caleiro, Instituto Superior Técnico

Fibring non verum functional logics: Completeness preservation