Vivek Nigam's Publications

Sorted by DateClassified by Publication TypeClassified by Research Category

An operational semantics for Network Datalog

Vivek Nigam, Limin Jia, Boon Thau Loo, and Andre Scedrov. An operational semantics for Network Datalog. In LAM, 2010. A workshop affilitated to LICS'10.

Download

[PDF] 

Abstract

(unavailable)

BibTeX

@InProceedings{ nigam10lam,
	author = "Vivek Nigam and Limin Jia and Boon Thau Loo and Andre Scedrov",
	title = "An operational semantics for Network Datalog",
	booktitle = "LAM",
	year = "2010",
	note = {A workshop affilitated to LICS'10.},
    bib2html_pubtype = {Unrefereed Collection},
    bib2html_rescat = {Formal Methods},
	bib2html_dl_pdf = "/docs/psnCor.pdf"
}

Generated by bib2html.pl (written by Patrick Riley ) on Wed Mar 01, 2017 14:31:37