Add to ORKGPublie dans : Acta Informatica, 1989SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 10699 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc
Soumis a Journal of logic programming, 1989SIGLEAvailable at INIST (FR), Document Supply Service, un...
Abstract. An automated technique to translate conditional rewrite rules into unconditional ones is p...
CNRS 14802 E / INIST-CNRS - Institut de l'Information Scientifique et TechniqueSIGLEFRFranc
Proceedings second international workshop on conditional and typed rewriting systems, Montreal, juin...
Conditional LOG-specifications extend standard conditional specifications in that the booleans are c...
SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : 17660, issue : a.1995 n....
Contribution a : Proceedings workshop on Boolean functions, propostional logic and AI systems, Ulm (...
Programme 2 - Genie logiciel et calcul symbolique. Projet PROTHEOSIGLEAvailable at INIST (FR), Docum...
AbstractThe effective integration of decision procedures in formula simplification is a fundamental ...
SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 10702 / INIST-CNRS - ...
Restrictions of rewriting may turn normal forms of some terms unreachable, leading to incomplete co...
Rapport d'enseignementSIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP...
Publie dans : The Computer Journal, vol 34, no 1, 1991, p. 20-33SIGLEAvailable at INIST (FR), Docume...
AbstractMaple’s symbolic evaluator, together with a feature that is usually known as the assume faci...
Maple’s symbolic evaluator, together with a feature that is usually known as the assume facility, im...
Soumis a Journal of logic programming, 1989SIGLEAvailable at INIST (FR), Document Supply Service, un...
Abstract. An automated technique to translate conditional rewrite rules into unconditional ones is p...
CNRS 14802 E / INIST-CNRS - Institut de l'Information Scientifique et TechniqueSIGLEFRFranc
Proceedings second international workshop on conditional and typed rewriting systems, Montreal, juin...
Conditional LOG-specifications extend standard conditional specifications in that the booleans are c...
SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : 17660, issue : a.1995 n....
Contribution a : Proceedings workshop on Boolean functions, propostional logic and AI systems, Ulm (...
Programme 2 - Genie logiciel et calcul symbolique. Projet PROTHEOSIGLEAvailable at INIST (FR), Docum...
AbstractThe effective integration of decision procedures in formula simplification is a fundamental ...
SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 10702 / INIST-CNRS - ...
Restrictions of rewriting may turn normal forms of some terms unreachable, leading to incomplete co...
Rapport d'enseignementSIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP...
Publie dans : The Computer Journal, vol 34, no 1, 1991, p. 20-33SIGLEAvailable at INIST (FR), Docume...
AbstractMaple’s symbolic evaluator, together with a feature that is usually known as the assume faci...
Maple’s symbolic evaluator, together with a feature that is usually known as the assume facility, im...
Soumis a Journal of logic programming, 1989SIGLEAvailable at INIST (FR), Document Supply Service, un...
Abstract. An automated technique to translate conditional rewrite rules into unconditional ones is p...
CNRS 14802 E / INIST-CNRS - Institut de l'Information Scientifique et TechniqueSIGLEFRFranc