• Sorted by Date • Classified by Publication Type • Classified by Research Category •
Vivek Nigam. Using Tables to Construct Non-Redundant Proofs.. In CiE 2008: Abstracts and extended abstracts of unpublished papers, 2008.
(unavailable)
@InProceedings{ nigam08cie,
author = "Vivek Nigam",
title = "Using Tables to Construct Non-Redundant Proofs.",
year = "2008",
booktitle = "CiE 2008: Abstracts and extended abstracts of unpublished papers",
bib2html_pubtype = {Unrefereed Collection},
bib2html_rescat = {Logical Frameworks},
bib2html_dl_pdf = "/docs/nigam_Non_Redundant_Proofs.pdf"
}
Generated by bib2html.pl (written by Patrick Riley ) on Mon Jan 08, 2024 13:46:57