Quantifier elimination of the products of ordered abelian groups
type: Item
instance of: scholarly article
title: Quantifier elimination of the products of ordered abelian groups
zbMATH Open document ID: 1116.03025
author: Hiroshi Tanaka
author: Hirokazu Yokoyama
published in: Tsukuba Journal of Mathematics
publication date: 2007-04-13T00:00:00Z
Mathematics Subject Classification ID: 03C10
Mathematics Subject Classification ID: 03C64
Mathematics Subject Classification ID: 06F20
zbMATH DE Number: 5142564
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.21099/tkbjm/1496165072
OpenAlex ID: W1502676069
DOI: 10.21099/TKBJM/1496165072
description: scientific article; zbMATH DE number 5142564