Logic and Computation Seminar
Home Seminars Registration Contacts
 
Edition

21/01/2000, Friday, 16:30–17:30
Amphitheatre of Interdisciplinary Complex at the University of Lisbon

Marcelo Coniglio, Universidade Estadual de Campinas

Splicing and splitting logics: a categorial approach

IT Técnico FCT