Rapport d'activite scientifique 1988-1990 - CRIN (Centre de recherche en informatique de Nancy)

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 10635 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

On sufficient completeness of conditional specifications

Proceedings second international workshop on conditional and typed rewriting systems, Montreal, juin 1990SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 10484 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Premier rapport d'activites du groupe ATOME Annee 1989

Rapport interneSIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 10773 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Defining #lambda#-typed #lambda#-calculi by axiomatizing the typing relation

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 12385 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

CCL 92 Proceedings of the first CCL workshop

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 12384 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Decrire le developpement d'un programme : un exemple

Contribution a : Actes journees GRECO GROPLAN, Nice, janvier 1990SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 10611 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Intelligence et image en enseignement assiste par ordinateur Application au prototype BIRDS

Proceedings european conference on technology and education, Herning (Denmark), April 1990Available at INIST (FR), Document Supply Service, under shelf-number : RP 10621 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueSIGLEFRFranc

Proving and developing concurrent programs A small system

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 10482 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

A cognitive machine for automatic speech recognition

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 12424 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Static analysis for the synthesis of Eureka properties for transforming logic programs

Extrait de : Proceedings 4th Annual Conference on Logic Programming ALPUK 92, London (England), March 1992, Springer Verlag, pages 41-61SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 11859 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc