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

• Autores: Cristina Corredor Lanas
• Localización: Lenguajes naturales y lenguajes formales : actas del VII congreso de lenguajes naturales y lenguajes formales : (Vic-Barcelona, 23-27 de septiembre de 1991) / coord. por Carlos Martín Vide, 1992, ISBN 84-7665-988-1, págs. 309-312
• Idioma: inglés
• Texto completo no disponible (Saber más ...)