Publisher： Cambridge University Press
E-ISSN： 1469-8072|27|6|1068-1107
ISSN： 0960-1295
Source： Mathematical Structures in Computer Science, Vol.27, Iss.6, 2017-09, pp. : 1068-1107
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
Cohen Macaulayness and Arithmetical Rank of Generalized Theta Graphs
By Seyyedi Seyyede Masoome Rahmati Farhad
Mathematics, Vol. 4, Iss. 3, 2016-06 ,pp. :
Access to resources
On the Predictability of Classical Propositional Logic
By Finger Marcelo Reis Poliana M.
Information, Vol. 4, Iss. 1, 2013-01 ,pp. :
Classical Probability and Quantum Outcomes
Axioms, Vol. 3, Iss. 2, 2014-05 ,pp. :