https://www.euro-online.org/enog/inoc mac https://www.euro-online.org/enog/inoc2007/Papers/mac
ALBCOM: Project details
   ALBCOM: Algorithms, Bioinformatics, Complexity and Formal Methods
 Sections
  Homepage
  People
  Research
  Publications
  Prizes & Distinctions
  Projects
  In the media
  Agenda
  Visitors
  Former members
  Contact
 Project details
LOGFAC Lgicas clasica y multivaluada: Fundamentos y aplicaciones computacionales
Number: CICYT TIC-2001-1577-C03-02
Description:
Period: 12/2001-12/2004
Money: 62.907 euros
Members:

bonet (local coordinator), A. Atserias, galesi, gavalda, antoni.

Participants:

IIIA (CSIC), Universitat de Lleida, UPC

Coordinator: F.Esteva