Vivek Nigam's Publications

Sorted by DateClassified by Publication TypeClassified by Research Category

Maintaining distributed logic programs incrementally

Vivek Nigam, Limin Jia, Boon Thau Loo, and Andre Scedrov. Maintaining distributed logic programs incrementally. Computer Languages, Systems & Structures, 38(2):158–180, 2012.

Download

[PDF] [gzipped postscript] [postscript] [HTML] 

Abstract

(unavailable)

BibTeX

@article{nigam12comlan,
  author    = {Vivek Nigam and
               Limin Jia and
               Boon Thau Loo and
               Andre Scedrov},
  title     = {Maintaining distributed logic programs incrementally},
  journal   = {Computer Languages, Systems {\&} Structures},
  volume    = {38},
  number    = {2},
  year      = {2012},
  pages     = {158-180},
  doi       = {http://dx.doi.org/10.1016/j.cl.2012.02.001},
  bib2html_pubtype = {Journal},
  bib2html_rescat = {Formal Methods},
  bib2html_dl_pdf = "/docs/ndlog-jrnl.pdf"
}

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