Vivek Nigam's Publications

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

Computational adequacy of trace-semantics

Nick Benton, Martin Hofmann, and Vivek Nigam. Computational adequacy of trace-semantics. Unpublished 2015.

Download

[PDF] 

Abstract

(unavailable)

BibTeX

@unpublished{benton15tr,
  author    = {Nick Benton and Martin Hofmann and Vivek Nigam},
  title     = {Computational adequacy of trace-semantics},
  bib2html_pubtype = {Technical Report},
    bib2html_rescat = {Denotational Semantics},
  year  = "2015",
  bib2html_dl_pdf = "/docs/adequacy.pdf"
}

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