Concurrent constraint programming and linear logic

  title={Concurrent constraint programming and linear logic},
  author={Sylvain Soliman},
HAL is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers. L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignement et de recherche français ou… CONTINUE READING

From This Paper

Topics from this paper.


Publications referenced by this paper.
Showing 1-10 of 27 references

Non-monotoni on urrent onstraint programming veri ation using phase semanti s

  • Y. Yilma
  • Master's thesis, S hool of Information Te hnology…
  • 1999

Con urrent onstraint programming and nonommutative logi

  • P. Ruet, F. Fages
  • In Pro . CSL'97, Annual Conf. EACSL,
  • 1998

Con urrent onstraint programming with information removal

  • E. Best, F. S. de Boer, C. Palamidessi
  • In Pro eedings of Coordination, LNCS. Springer…
  • 1997

Operational semanti s and on uen e of onstraint propagation rules

  • S. Abdenhader
  • In Pro eedings of CP'1997, 3rd International…
  • 1997

Similar Papers

Loading similar papers…