

Period of time: 2011年1期
Publisher: Springer Publishing Company
Founded in: 1950
Total resources: 21
ISSN: 0933-5846
Subject: O1 Mathematics
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Archive for Mathematical Logic,volume 43,issue 1
Menu

Simply terminating rewrite systems with long derivations
Archive for Mathematical Logic,volume 43,issue 1 , Vol. 43, Iss. 1, 2004-01 , pp.
Games played on partial isomorphisms
Archive for Mathematical Logic,volume 43,issue 1 , Vol. 43, Iss. 1, 2004-01 , pp.
On nice equivalence relations on 2
Archive for Mathematical Logic,volume 43,issue 1 , Vol. 43, Iss. 1, 2004-01 , pp.
A comparison of two systems of ordinal notations
Archive for Mathematical Logic,volume 43,issue 1 , Vol. 43, Iss. 1, 2004-01 , pp.
On potential isomorphism and non-structure
Archive for Mathematical Logic,volume 43,issue 1 , Vol. 43, Iss. 1, 2004-01 , pp.
The computably enumerable degrees are locally non-cappable
By Giorgi Matthew B. in (2004)
Archive for Mathematical Logic,volume 43,issue 1 , Vol. 43, Iss. 1, 2004-01 , pp.