Algorithmic correspondence theory fo substructural logic

Grant number:	00/08768-5
Support Opportunities:	Research Grants - Meeting - Abroad
Start date:	October 04, 2000
End date:	October 07, 2000
Field of knowledge:	Physical Sciences and Mathematics - Computer Science - Theory of Computation

Principal Investigator:	Marcelo Finger
Grantee:	Marcelo Finger

Host Institution:	Instituto de Matemática e Estatística (IME). Universidade de São Paulo (USP). São Paulo , SP, Brazil

Articles published in Agência FAPESP Newsletter about the research grant:

TITULO

Articles published in other media outlets ( ):

More items Less items

VEICULO: TITULO (DATA)