Camaradas, bom dia.
Retransmito a pedido o Manifesto abaixo.
Att.
cass.
--
Cassiano Terra Rodrigues
Prof. Dr. de Filosofia - IEF-H-ITA
Praça Marechal Eduardo Gomes, Nº 50 Vila das Acácias São José dos Campos São
Paulo, Brasil CEP: 12228-900 Tel. (+55)-12-3305-8438 - Sala F0-206 -
--
l
Data: 28 de outubro de 2020 (quarta-feira)
Horário: 16:00h GMT-3
Apresentador: Profa. Daniele Nantes (DM/UnB)
Título: Nominal Equational Problems
Resumo: We consider nominal equational problems of the form \exists \vec{W}
\forall \vec{Y} :P, where P consists of conjunctions and disjunctions of
equa
