Author： Blumensath Achim
Publisher： Springer Publishing Company
ISSN： 1432-4350
Source： Theory of Computing Systems, Vol.37, Iss.1, 2004-01, pp. : 3-27
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
On axiomatising products of Kripke frames
The Journal of Symbolic Logic, Vol. 65, Iss. 2, 2000-06 ,pp. :
Access to resources
Recommend
A hierarchy of tree-automatic structures
The Journal of Symbolic Logic, Vol. 77, Iss. 1, 2012-03 ,pp. :
Tree structures associated to a family of functions
The Journal of Symbolic Logic, Vol. 70, Iss. 3, 2005-09 ,pp. :
ℵ0-categorical tree-decomposable structures
The Journal of Symbolic Logic, Vol. 57, Iss. 2, 1992-06 ,pp. :
Fields interpretable in superrosy groups with NIP (the non-solvable case)
The Journal of Symbolic Logic, Vol. 75, Iss. 1, 2010-03 ,pp. :