Add to ORKGIn 'Proceedings 5th symposium logic in computer science',IEEE, Philadelphia PA, June 1990Available at INIST (FR), Document Supply Service, under shelf-number : RP 10799 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueSIGLEFRFranc
SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 10692 / INIST-CNRS - ...
Theorical Computer ScienceSIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number ...
SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 11452 / INIST-CNRS - ...
Proceedings 16th international symposium on mathematical foundations of computer science, pages 17-2...
SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : 14802 E, issue : a.1991 ...
Publie dans : Lecture Notes in Computer Science, 632SIGLEAvailable at INIST (FR), Document Supply Se...
Proceedings workshop on programming language implementation and logic programming, p.1-15, Springer ...
SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : 17660, issue : a.1990 n....
Publie dans : Proceedings 4th International conference rewriting techniques and applications, pages ...
Publie dans : The Computer Journal, vol 34, no 1, 1991, p. 20-33SIGLEAvailable at INIST (FR), Docume...
SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 10507 / INIST-CNRS - ...
Paru aussi dans la revue : Journal of symbolic computation, 1990 - <20950>SIGLEAvailable at IN...
Soumis a Journal of logic programming, 1989SIGLEAvailable at INIST (FR), Document Supply Service, un...
Theme 1 - Reseaux et systemes - Projet SLOOPAvailable from INIST (FR), Document Supply Service, unde...
Theme 2 - Genie logiciel et calcul symbolique. Projet PROTHEOSIGLEAvailable from INIST (FR), Documen...
SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 10692 / INIST-CNRS - ...
Theorical Computer ScienceSIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number ...
SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 11452 / INIST-CNRS - ...
Proceedings 16th international symposium on mathematical foundations of computer science, pages 17-2...
SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : 14802 E, issue : a.1991 ...
Publie dans : Lecture Notes in Computer Science, 632SIGLEAvailable at INIST (FR), Document Supply Se...
Proceedings workshop on programming language implementation and logic programming, p.1-15, Springer ...
SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : 17660, issue : a.1990 n....
Publie dans : Proceedings 4th International conference rewriting techniques and applications, pages ...
Publie dans : The Computer Journal, vol 34, no 1, 1991, p. 20-33SIGLEAvailable at INIST (FR), Docume...
SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 10507 / INIST-CNRS - ...
Paru aussi dans la revue : Journal of symbolic computation, 1990 - <20950>SIGLEAvailable at IN...
Soumis a Journal of logic programming, 1989SIGLEAvailable at INIST (FR), Document Supply Service, un...
Theme 1 - Reseaux et systemes - Projet SLOOPAvailable from INIST (FR), Document Supply Service, unde...
Theme 2 - Genie logiciel et calcul symbolique. Projet PROTHEOSIGLEAvailable from INIST (FR), Documen...
SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 10692 / INIST-CNRS - ...
Theorical Computer ScienceSIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number ...
SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 11452 / INIST-CNRS - ...