Sur la multiplicité des Sémantiques Opérationnelles de la Programmation en Logique, leur Modélisation à l aide de Grammaires Attribuées et leur utilisation pour valider des Programmes Logiques

Pierre Deransart. Sur la multiplicité des Sémantiques Opérationnelles de la Programmation en Logique, leur Modélisation à l aide de Grammaires Attribuées et leur utilisation pour valider des Programmes Logiques. In Serge Bourgault, Mehmet Dincbas, editors, SPLT 89, 8:::ème::: Séminaire Programmation en Logique, 24-26 mai 1989, Trégastel, France. pages 41, 1989.

@inproceedings{Deransart89:0,
  title = {Sur la multiplicité des Sémantiques Opérationnelles de la Programmation en Logique, leur Modélisation à l aide de Grammaires Attribuées et leur utilisation pour valider des Programmes Logiques},
  author = {Pierre Deransart},
  year = {1989},
  researchr = {https://researchr.org/publication/Deransart89%3A0},
  cites = {0},
  citedby = {0},
  pages = {41},
  booktitle = {SPLT 89, 8:::ème::: Séminaire Programmation en Logique, 24-26 mai 1989, Trégastel, France},
  editor = {Serge Bourgault and Mehmet Dincbas},
}