Publisher： Cambridge University Press
E-ISSN： 1469-8072|27|6|993-1031
ISSN： 0960-1295
Source： Mathematical Structures in Computer Science, Vol.27, Iss.6, 2017-09, pp. : 993-1031
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
Related content
Ordered combinatory algebras and realizability
Mathematical Structures in Computer Science, Vol. 27, Iss. 3, 2017-03 ,pp. :
Access to resources
Recommend
Classical realizability and arithmetical formulæ
Mathematical Structures in Computer Science, Vol. 27, Iss. 6, 2017-09 ,pp. :
CPS-Based Smart Warehouse for Industry 4.0: A Survey of the Underlying Technologies
By Liu Xiulong Cao Jiannong Yang Yanni Jiang Shan
Computers, Vol. 7, Iss. 1, 2018-02 ,pp. :
Access to resources
Separability of pairs of polygons through single translations
Robotica, Vol. 5, Iss. 1, 1987-01 ,pp. :
“Interactive Atlas of Habitability”
Knowledge Management: An International Journal, Vol. 12, Iss. 1, 2013-01 ,pp. :