Conference papers (2) Publications in which a researcher has participated

1988

  1. Axiomatizamos exhaustivamente Eº y Rº con un selecto grupo de tesis características

    Lenguajes naturales y lenguajes formales : actas del III congreso de lenguajes naturales y lenguajes formales : (Sitges-Barcelona, 28 de septiembre-2 de octubre de 1987)

  2. Semántica para X1 + y X2 +

    Lenguajes naturales y lenguajes formales : actas del III congreso de lenguajes naturales y lenguajes formales : (Sitges-Barcelona, 28 de septiembre-2 de octubre de 1987)