Vivek Nigam's Publications

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

Focusing in linear meta-logic

Vivek Nigam and Dale Miller. Focusing in linear meta-logic. In Proceedings of IJCAR: International Joint Conference on Automated Reasoning, pp. 507–522, LNAI 5195, Springer, 2008.

Download

[PDF] 

Abstract

(unavailable)

@InProceedings{ nigam08ijcar,
	title = "Focusing in linear meta-logic",
	booktitle = "Proceedings of IJCAR: International Joint Conference on Automated Reasoning",
	series = "LNAI",
	author = "Vivek Nigam and Dale Miller",
	publisher = "Springer",
	pages = "507--522",
	volume = "5195",
	year = "2008",
	keywords = "mobius, wp4",
	url = "http://hal.inria.fr/inria-00281631/en/",
    bib2html_pubtype = {Refereed Conference/Workshop},
    bib2html_rescat = {Logical Frameworks},
	bib2html_dl_pdf = "/docs/focLML.pdf"
}

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