Towards efficient modelling of distributed knowledge using equational and order-sorted logic.

• Grant number: 94/03209-5
• Support Opportunities: Research Grants - Meeting - Brazil
• Start date: October 17, 1994
• End date: October 20, 1994
• Field of knowledge: Physical Sciences and Mathematics - Computer Science - Computing Methodologies and Techniques
• Principal Investigator: Flávio Soares Corrêa da Silva
• Grantee: Flávio Soares Corrêa da Silva
• Host Institution: Instituto de Matemática e Estatística (IME). Universidade de São Paulo (USP). São Paulo , SP, Brazil