Add to ORKGProceedings workshop on programming language implementation and logic programming, p.1-15, Springer Verlag, Linkoping (Suede), aout 1990. Lecture Notes in computer science, 456SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 10580 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc
Ouvrage (auteur).Troisième édition d'un colloque sur les méthodes formelles et leur utilisation dans...
AbstractThis volume constitutes the proceedings of the Third International Workshop on Rewriting Log...
AbstractWe present an overview of rewriting-based systems that were presented at the workshop
AbstractFollowing the successful first International Workshop on Rewriting Logic and its Application...
Available at INIST (FR), Document Supply Service, under shelf-number : 17660, issue : a.1992 n.891-I...
Dans : Proceedings TOOLS PACIFIC'90 (Technology of Object-Oriented Languages and Systems), Sydney (A...
Rewriting logic (RL) is a natural model of computation and an expressive se-mantic framework for con...
Proceedings 16th international symposium on mathematical foundations of computer science, pages 17-2...
SIGLECNRS 17660 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc
In 'Proceedings 5th symposium logic in computer science',IEEE, Philadelphia PA, June 1990Available a...
AbstractThe Fourth International Workshop on Rewriting logic and Its Applications (WRLA2002) was hel...
Theme 1 - Reseaux et systemes. Projet ReMaPSIGLEAvailable at INIST (FR), Document Supply Service, un...
We present an overview of rewriting-based systems that were presented at the workshop
Programme 2 - Genie logiciel et calcul symbolique. Projet PROTHEOSIGLEAvailable at INIST (FR), Docum...
Rapport interneSIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 10690 ...
Ouvrage (auteur).Troisième édition d'un colloque sur les méthodes formelles et leur utilisation dans...
AbstractThis volume constitutes the proceedings of the Third International Workshop on Rewriting Log...
AbstractWe present an overview of rewriting-based systems that were presented at the workshop
AbstractFollowing the successful first International Workshop on Rewriting Logic and its Application...
Available at INIST (FR), Document Supply Service, under shelf-number : 17660, issue : a.1992 n.891-I...
Dans : Proceedings TOOLS PACIFIC'90 (Technology of Object-Oriented Languages and Systems), Sydney (A...
Rewriting logic (RL) is a natural model of computation and an expressive se-mantic framework for con...
Proceedings 16th international symposium on mathematical foundations of computer science, pages 17-2...
SIGLECNRS 17660 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc
In 'Proceedings 5th symposium logic in computer science',IEEE, Philadelphia PA, June 1990Available a...
AbstractThe Fourth International Workshop on Rewriting logic and Its Applications (WRLA2002) was hel...
Theme 1 - Reseaux et systemes. Projet ReMaPSIGLEAvailable at INIST (FR), Document Supply Service, un...
We present an overview of rewriting-based systems that were presented at the workshop
Programme 2 - Genie logiciel et calcul symbolique. Projet PROTHEOSIGLEAvailable at INIST (FR), Docum...
Rapport interneSIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 10690 ...
Ouvrage (auteur).Troisième édition d'un colloque sur les méthodes formelles et leur utilisation dans...
AbstractThis volume constitutes the proceedings of the Third International Workshop on Rewriting Log...
AbstractWe present an overview of rewriting-based systems that were presented at the workshop