Vivek Nigam's Publications

• Sorted by Date • Classified by Publication Type • Classified by Research Category •

A Proof Theoretic Study of Soft Concurrent Constraint Programming

Elaine Pimentel, Carlos Olarte, and Vivek Nigam. A Proof Theoretic Study of Soft Concurrent Constraint Programming. TPLP, 14(4-5):649–663, 2014.

Download

[PDF] 

Abstract

(unavailable)

@article{nigam14iclp,
  author    = {Elaine Pimentel and
               Carlos Olarte and
               Vivek Nigam},
  title     = {A Proof Theoretic Study of Soft Concurrent Constraint Programming},
  journal   = {TPLP},
  volume    = {14},
  number    = {4-5},
  year      = {2014},
  pages     = {649-663},
  ee        = {http://dx.doi.org/10.1017/S147106841400026X},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  bib2html_pubtype = {Journal},
  bib2html_rescat = {Logical Frameworks},
  bib2html_dl_pdf = "/docs/softccp-sell.pdf"
}

Generated by bib2html.pl (written by Patrick Riley ) on Mon Jan 08, 2024 13:46:57