Add to ORKGContribution a : Proceedings workshop on Boolean functions, propostional logic and AI systems, Ulm (RFA), 1989SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 10679 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc
This volume contains the papers presented at the First International Workshop on Rewriting Technique...
AbstractFollowing the successful first International Workshop on Rewriting Logic and its Application...
Article dans revue scientifique avec comité de lecture.ELAN implements computational systems, a conc...
Proceedings second international workshop on conditional and typed rewriting systems, Montreal, juin...
Programme 2 - Genie logiciel et calcul symbolique. Projet PROTHEOSIGLEAvailable at INIST (FR), Docum...
Publie dans : Acta Informatica, 1989SIGLEAvailable at INIST (FR), Document Supply Service, under she...
SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : 17660, issue : a.1995 n....
Abstract. An automated technique to translate conditional rewrite rules into unconditional ones is p...
SIGLECopy held by FIZ Karlsruhe; available from UB/TIB Hannover / FIZ - Fachinformationszzentrum Kar...
Paru dans : Resolution of equations in algebraic structures/H.Ait-Kaci et M.Nivat ed., pages 141-170...
We present an overview of rewriting-based systems that were presented at the workshop
SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 10702 / INIST-CNRS - ...
Proceedings workshop on programming language implementation and logic programming, p.1-15, Springer ...
AbstractWe present an overview of rewriting-based systems that were presented at the workshop
Soumis a Journal of logic programming, 1989SIGLEAvailable at INIST (FR), Document Supply Service, un...
This volume contains the papers presented at the First International Workshop on Rewriting Technique...
AbstractFollowing the successful first International Workshop on Rewriting Logic and its Application...
Article dans revue scientifique avec comité de lecture.ELAN implements computational systems, a conc...
Proceedings second international workshop on conditional and typed rewriting systems, Montreal, juin...
Programme 2 - Genie logiciel et calcul symbolique. Projet PROTHEOSIGLEAvailable at INIST (FR), Docum...
Publie dans : Acta Informatica, 1989SIGLEAvailable at INIST (FR), Document Supply Service, under she...
SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : 17660, issue : a.1995 n....
Abstract. An automated technique to translate conditional rewrite rules into unconditional ones is p...
SIGLECopy held by FIZ Karlsruhe; available from UB/TIB Hannover / FIZ - Fachinformationszzentrum Kar...
Paru dans : Resolution of equations in algebraic structures/H.Ait-Kaci et M.Nivat ed., pages 141-170...
We present an overview of rewriting-based systems that were presented at the workshop
SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 10702 / INIST-CNRS - ...
Proceedings workshop on programming language implementation and logic programming, p.1-15, Springer ...
AbstractWe present an overview of rewriting-based systems that were presented at the workshop
Soumis a Journal of logic programming, 1989SIGLEAvailable at INIST (FR), Document Supply Service, un...
This volume contains the papers presented at the First International Workshop on Rewriting Technique...
AbstractFollowing the successful first International Workshop on Rewriting Logic and its Application...
Article dans revue scientifique avec comité de lecture.ELAN implements computational systems, a conc...