Rewriting Logic and Its Applications : 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS Grenoble, France, April 5–6, 2014 : Revised Selected Papers /
Selección de ponencias presentadas en el décimo Taller Internacional sobre Reescritura de Lógica y sus Aplicaciones, celebrado en Grenoble, Francia, en marzo de 2014. Los artículos abordan diversos temas relacionados con los fundamentos y los modelos de reescritura de lógica, tales como, marco lógic...
Enregistré dans:
| Collectivité auteur: | |
|---|---|
| Autres auteurs: | |
| Format: | Actes de congrès Livre |
| Langue: | anglais |
| Publié: |
Cham, Suiza :
Springer,
2014, c2014
|
| Collection: | (Lecture Notes in Computer Science ;
8663) |
| Sujets: | |
| Accès en ligne: | Ver documento en línea |
| Tags: |
Pas de tags, Soyez le premier à ajouter un tag!
|
Documents similaires: Rewriting Logic and Its Applications :
- Compiler Construction : 23rd International Conference, CC 2014 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014 : Proceedings /
- Programming Languages and Systems : 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014 : Proceedings /
- Model-Driven Engineering Languages and Systems : 17th International Conference, MODELS 2014, Valencia, Spain, September 28-October 3, 2014 : Proceedings /
- Functional and Logic Programming : 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014 : Proceedings /
- Programming Languages and Systems : 12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014 : Proceedings /
- Software Engineering and Formal Methods : 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014 : Proceedings /