Add to ORKGProceedings 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
Extrait de : Proceedings Third Intern. Workshop Conditional Term Rewriting Systems, July 1992SIGLEAv...
Theme 2 - Genie logiciel et calcul symbolique. Projet PROTHEOSIGLEAvailable from INIST (FR), Documen...
AbstractA conditional term rewriting system is called logical if it has the same logical strength as...
Contribution a : Proceedings workshop on Boolean functions, propostional logic and AI systems, Ulm (...
Paru dans : Resolution of equations in algebraic structures/H.Ait-Kaci et M.Nivat ed., pages 141-170...
SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 10702 / INIST-CNRS - ...
SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : 17660, issue : a.1995 n....
Publie dans : Acta Informatica, 1989SIGLEAvailable at INIST (FR), Document Supply Service, under she...
Programme 2 - Genie logiciel et calcul symbolique. Projet PROTHEOSIGLEAvailable at INIST (FR), Docum...
Programme 2 : calcul symbolique, programmation et genie logicielSIGLEAvailable at INIST (FR), Docume...
SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 13214 / INIST-CNRS - ...
Paru dans Information and computation, 88(2) : p.187-201, 1990. <8341>SIGLEAvailable at INIST ...
Abstract. An automated technique to translate conditional rewrite rules into unconditional ones is p...
AbstractAlgebraic specifications of abstract data types can often be viewed as systems of rewrite ru...
Conditional term rewriting systems (CTRSs) are a natural extension of unconditional such systems (TR...
Extrait de : Proceedings Third Intern. Workshop Conditional Term Rewriting Systems, July 1992SIGLEAv...
Theme 2 - Genie logiciel et calcul symbolique. Projet PROTHEOSIGLEAvailable from INIST (FR), Documen...
AbstractA conditional term rewriting system is called logical if it has the same logical strength as...
Contribution a : Proceedings workshop on Boolean functions, propostional logic and AI systems, Ulm (...
Paru dans : Resolution of equations in algebraic structures/H.Ait-Kaci et M.Nivat ed., pages 141-170...
SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 10702 / INIST-CNRS - ...
SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : 17660, issue : a.1995 n....
Publie dans : Acta Informatica, 1989SIGLEAvailable at INIST (FR), Document Supply Service, under she...
Programme 2 - Genie logiciel et calcul symbolique. Projet PROTHEOSIGLEAvailable at INIST (FR), Docum...
Programme 2 : calcul symbolique, programmation et genie logicielSIGLEAvailable at INIST (FR), Docume...
SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 13214 / INIST-CNRS - ...
Paru dans Information and computation, 88(2) : p.187-201, 1990. <8341>SIGLEAvailable at INIST ...
Abstract. An automated technique to translate conditional rewrite rules into unconditional ones is p...
AbstractAlgebraic specifications of abstract data types can often be viewed as systems of rewrite ru...
Conditional term rewriting systems (CTRSs) are a natural extension of unconditional such systems (TR...
Extrait de : Proceedings Third Intern. Workshop Conditional Term Rewriting Systems, July 1992SIGLEAv...
Theme 2 - Genie logiciel et calcul symbolique. Projet PROTHEOSIGLEAvailable from INIST (FR), Documen...
AbstractA conditional term rewriting system is called logical if it has the same logical strength as...