Add to ORKGPublie dans : Proceedings UNIF'89, Lambrecht (RFA), June 1989Available at INIST (FR), Document Supply Service, under shelf-number : RP 10816 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueSIGLEFRFranc
SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : 17660, issue : a.1996 ...
AbstractWe show the completeness of an extension of SLD-resolution to the equational setting. This p...
Tire de : AI communications, 4 (4), 1991, p. 145-151SIGLEAvailable at INIST (FR), Document Supply Se...
Publie dans : Proceedings ISSAC'89 (International symposium on symbolic and algebraic computation), ...
In this paper, a paramodulation calculus for equational reasoning is presented that combines the adv...
In equational theorem proving, convergent term rewriting systems play a crucial role. In order to co...
* INRA, centre de Toulouse Diffusion du document : INRA, centre de ToulouseInternational audienc
SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 10544 / INIST-CNRS - ...
Unfailing completion is a commonly used technique for equational reasoning. For equational problems ...
Equality plays an important role in our life, and we practise equational reasoning everyday. We can ...
AbstractThis paper studies completion in the case of equations with constraints consisting of first-...
Paru dans : Resolution of equations in algebraic structures/H.Ait-Kaci et M.Nivat ed., pages 141-170...
Proceedings RTA 91, Como (Italie), avril 1991, paru dans Lecture Notes in Computer science, v488 - &...
AbstractWe formulate the Knuth-Bendix completion method at an abstract level, as an equational infer...
Publie dans : \Conference PARLE 91, 1991\SIGLEAvailable at INIST (FR), Document Supply Service, unde...
SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : 17660, issue : a.1996 ...
AbstractWe show the completeness of an extension of SLD-resolution to the equational setting. This p...
Tire de : AI communications, 4 (4), 1991, p. 145-151SIGLEAvailable at INIST (FR), Document Supply Se...
Publie dans : Proceedings ISSAC'89 (International symposium on symbolic and algebraic computation), ...
In this paper, a paramodulation calculus for equational reasoning is presented that combines the adv...
In equational theorem proving, convergent term rewriting systems play a crucial role. In order to co...
* INRA, centre de Toulouse Diffusion du document : INRA, centre de ToulouseInternational audienc
SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 10544 / INIST-CNRS - ...
Unfailing completion is a commonly used technique for equational reasoning. For equational problems ...
Equality plays an important role in our life, and we practise equational reasoning everyday. We can ...
AbstractThis paper studies completion in the case of equations with constraints consisting of first-...
Paru dans : Resolution of equations in algebraic structures/H.Ait-Kaci et M.Nivat ed., pages 141-170...
Proceedings RTA 91, Como (Italie), avril 1991, paru dans Lecture Notes in Computer science, v488 - &...
AbstractWe formulate the Knuth-Bendix completion method at an abstract level, as an equational infer...
Publie dans : \Conference PARLE 91, 1991\SIGLEAvailable at INIST (FR), Document Supply Service, unde...
SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : 17660, issue : a.1996 ...
AbstractWe show the completeness of an extension of SLD-resolution to the equational setting. This p...
Tire de : AI communications, 4 (4), 1991, p. 145-151SIGLEAvailable at INIST (FR), Document Supply Se...