ABOUT THE RANGE PROPERTY FOR H

作者:David Rene*; Nour Karim
来源:Logical Methods in Computer Science, 2014, 10(1): 3.
DOI:10.2168/LMCS-10(1:3)2014

摘要

Recently, A. Polonsky (see [Pol12]) has shown that the range property fails for H. We give here some conditions on a closed term that imply that its range has an infinite cardinality.

  • 出版日期2014

全文