×

Found 13 Documents (Results 1–13)

Quantifier rank for parity of embedded finite models. (English) Zbl 0999.03029

Sgall, Jiří(ed.) et al., Mathematical foundations of computer science 2001. 26th international symposium, MFCS 2001, Mariánské Lázně, Czech Republic, August 27-31, 2001. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2136, 375-386 (2001).
MSC:  03C13 68Q19 68P15
PDF BibTeX XML Cite
Full Text: Link

Uniform quantifier elimination and constraint query processing. (English) Zbl 0915.03031

Küchlin, Wolfgang W. (ed.), Proceedings of the 1997 international symposium on symbolic and algebraic computation, ISSAC ’97, Maui, HI, USA, July 21–23, 1997. New York, NY: ACM Press. 21-27 (1997).
PDF BibTeX XML Cite

Two problems of Ziegler and uniform modules over regular rings. (English) Zbl 0880.16005

Arnold, David M. (ed.) et al., Abelian groups and modules. Proceedings of the international conference at Colorado Springs, CO, USA, August 7–12, 1995. New York, NY: Marcel Dekker. Lect. Notes Pure Appl. Math. 182, 373-383 (1996).
PDF BibTeX XML Cite

Filter Results by …

Document Type

Reviewing State

all top 5

Year of Publication

all top 3

Main Field