Author： Agrawal M. Thierauf T.
Publisher： Springer Publishing Company
ISSN： 1432-4350
Source： Theory of Computing Systems, Vol.34, Iss.5, 2001-10, pp. : 471-487
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Related content
On a problem in the theory of ordered groups
Bulletin of the Australian Mathematical Society, Vol. 6, Iss. 3, 1972-06 ,pp. :
Access to resources
Recommend
A spectral problem in ordered Banach algebras
Bulletin of the Australian Mathematical Society, Vol. 67, Iss. 1, 2003-02 ,pp. :
The problem of adjoining roots to ordered groups
Bulletin of the Australian Mathematical Society, Vol. 11, Iss. 1, 1974-08 ,pp. :
The decision problem for branching time logic
The Journal of Symbolic Logic, Vol. 50, Iss. 3, 1985-09 ,pp. :
Downward transfer of satisfiability for sentences of
The Journal of Symbolic Logic, Vol. 48, Iss. 4, 1983-12 ,pp. :