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
HispAlem2 Aspectos de complejidad en la lgica formal
Number: HA2000-0041
Description: Accin Integrada Hispano-Alemana.
Period: 1/2001-12/2002
Money: ??? euros
Members:

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

Participants:

UPC, Universidad de Ulm

Coordinator: bonet