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
HispAlem Aspectos de complejidad en la lgica formal
Number: DGICYT
Description: Accin Integrada Hispano-Alemana.
Period: 1/1995-1/1997
Money: ??? euros
Members:

balqui (local coordinator), gavalda, C. lvarez.

Participants:

UPC, Universidad de Ulm

Coordinator: J.L.Balczar