Résolution parallèle de sous-buts indépendants dans le graphe de connexion de R. Kowalski. Percebois, C., Futó, I., Durand, I., Simon, C., & Bonhoure, B. In SPLT, pages 553-570, 1986.
Résolution parallèle de sous-buts indépendants dans le graphe de connexion de R. Kowalski. [link]Paper  bibtex   
@inproceedings{conf/jfplc/PerceboisFDSB86,
  added-at = {2021-11-18T00:00:00.000+0100},
  author = {Percebois, Christian and Futó, Ivan and Durand, Irène and Simon, Catherine and Bonhoure, Brigitte},
  biburl = {https://www.bibsonomy.org/bibtex/26b1de2b9be9841ebd57479c15732ac97/dblp},
  booktitle = {SPLT},
  crossref = {conf/jfplc/1986},
  interhash = {75284f39b7a1b07e9e025d084a50bd2b},
  intrahash = {6b1de2b9be9841ebd57479c15732ac97},
  keywords = {dblp},
  pages = {553-570},
  timestamp = {2024-04-10T11:20:15.000+0200},
  title = {Résolution parallèle de sous-buts indépendants dans le graphe de connexion de R. Kowalski.},
  url = {http://dblp.uni-trier.de/db/conf/jfplc/jfplc1986.html#PerceboisFDSB86},
  year = 1986
}

Downloads: 0