Improved Single Pass Algorithms for Resolution Proof Reduction

A. Gupta, in:, Automated Technology for Verification and Analysis, Springer Berlin Heidelberg, Berlin, Heidelberg, 2012, pp. 107–121.

Download
OA 465.50 KB

Book Chapter | Published | English
Author
Department
Publishing Year
Date Published
2012-01-01
Book Title
Automated Technology for Verification and Analysis
Volume
7561
Page
107-121
Conference
ATVA 2012
Conference Location
Thiruvananthapuram, Kerala, India
Conference Date
2012-10-03 – 2012-10-06
IST-REx-ID

Cite this

Gupta A. Improved Single Pass Algorithms for Resolution Proof Reduction. In: Automated Technology for Verification and Analysis. Vol 7561. LNCS. Berlin, Heidelberg: Springer Berlin Heidelberg; 2012:107-121. doi:10.1007/978-3-642-33386-6_10
Gupta, A. (2012). Improved Single Pass Algorithms for Resolution Proof Reduction. In Automated Technology for Verification and Analysis (Vol. 7561, pp. 107–121). Berlin, Heidelberg: Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-642-33386-6_10
Gupta, Ashutosh. “Improved Single Pass Algorithms for Resolution Proof Reduction.” In Automated Technology for Verification and Analysis, 7561:107–21. LNCS. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012. https://doi.org/10.1007/978-3-642-33386-6_10.
A. Gupta, “Improved Single Pass Algorithms for Resolution Proof Reduction,” in Automated Technology for Verification and Analysis, vol. 7561, Berlin, Heidelberg: Springer Berlin Heidelberg, 2012, pp. 107–121.
Gupta A. 2012. Improved Single Pass Algorithms for Resolution Proof Reduction. Automated Technology for Verification and Analysis. ATVA 2012LNCS vol. 7561. 107–121.
Gupta, Ashutosh. “Improved Single Pass Algorithms for Resolution Proof Reduction.” Automated Technology for Verification and Analysis, vol. 7561, Springer Berlin Heidelberg, 2012, pp. 107–21, doi:10.1007/978-3-642-33386-6_10.
Main File(s)
File Name
Access Level
OA Open Access
Last Uploaded
2018-12-18T13:07:35Z


Export

Marked Publications

Open Data IST Research Explorer

Search this title in

Google Scholar
ISBN Search