Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by Crossref.
Li, Bing
Zhao, Chen Yang
and
Li, Lian
2011.
Performing Calculation in Interactive Theorem Proving.
Applied Mechanics and Materials,
Vol. 130-134,
Issue. ,
p.
2924.
Arceri, Vincenzo
and
Mastroeni, Isabella
2019.
Static Program Analysis for String Manipulation Languages.
Electronic Proceedings in Theoretical Computer Science,
Vol. 299,
Issue. ,
p.
19.