Retraction
Certifiable Theory for Lambda calculus
Paper Information
Record ID:
33848
Author(s):
Publication Date:
December 08, 2011
Retraction Date:
January 01, 2021
(4.9 years years ago)
Subject:
Broad Categories:
Computer Science
Computer Science
Specific Fields:
Computer Science
Computer Science
Institution:
Electrical Engineering & Automation institute, Henan Polytechnic University Jiaozuo, ChinaCountry:
🇨🇳 ChinaArticle Type:
Publisher:
Trans Tech Publications Ltd
Open Access:
Yes
PubMed ID:
Not indexed in PubMed
Retraction PubMed ID:
Not indexed in PubMed
Retraction Details
Retraction Reasons:
Nature of Retraction:
Retraction
Retraction Notice:
10.4028/www.scientific.net/AMM.143-144.297Additional Notes:
See also: https://asistdl.onlinelibrary.wiley.com/doi/10.1002/asi.24495 and Supporting Information
Citations (0)
0
Total Citations0
Post-Retraction0
Pre-Retraction0
Same Day
No citations found for this paper.
Quick Stats
Total Citations:
0
Years Since Retraction:
4.9 years
Open Access:
Yes
Last Checked:
Jul 24, 2025