Login / Signup

A transfer method from bounded existential Diophantine equations to Tarski algebra formulas.

Bruce E. Litow
Published in: Theor. Comput. Sci. (2018)
Keyphrases