Login / Signup

Polynomial Interpretations over the Natural, Rational and Real Numbers Revisited.

Friedrich NeurauterAart Middeldorp
Published in: Log. Methods Comput. Sci. (2014)
Keyphrases