Period of time: 2014年6期
Publisher: Springer Publishing Company
Founded in: 1968
Total resources: 30
ISSN: 0002-5232
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.
Algebra and Logic,volume 43,issue 6
Menu
Complexity of Categorical Theories with Computable Models
By Goncharov S. S.,Khoussainov B. in (2004)
Algebra and Logic,volume 43,issue 6 , Vol. 43, Iss. 6, 2004-11 , pp.Comparing Classes of Finite Structures
By Calvert W.,Cummins D.,Knight J. F.,Miller S. in (2004)
Algebra and Logic,volume 43,issue 6 , Vol. 43, Iss. 6, 2004-11 , pp.The Computable Dimension of I-Trees of Infinite Height
By Kogabaev N. T.,Kudinov O. V.,Miller R. in (2004)
Algebra and Logic,volume 43,issue 6 , Vol. 43, Iss. 6, 2004-11 , pp.Elementary Equivalence of Derived Structures of Free Semigroups, Unars, and Groups
Algebra and Logic,volume 43,issue 6 , Vol. 43, Iss. 6, 2004-11 , pp.The Löwenheim–Skolem–Mal'tsev Theorem for mathbb{HF}-Structures
Algebra and Logic,volume 43,issue 6 , Vol. 43, Iss. 6, 2004-11 , pp.