A (new) constructive proof of (known) interpolation for relevant system LR

  1. Corredor Lanas, Cristina
Liburua:
Lenguajes naturales y lenguajes formales : actas del VII congreso de lenguajes naturales y lenguajes formales : (Vic-Barcelona, 23-27 de septiembre de 1991)
  1. Martín Vide, Carlos (coord.)

Argitaletxea: Promociones y Publicaciones Universitarias, PPU

ISBN: 84-7665-988-1

Argitalpen urtea: 1992

Orrialdeak: 309-312

Biltzarra: Congreso de Lenguajes Naturales y Lenguajes Formales (7. 1991. Vic)

Mota: Biltzar ekarpena

DIALNET GOOGLE SCHOLAR
Datuen iturria: Dialnet