Polynomial Interpretations over the Natural, Rational and Real Numbers Revisited
Neurauter, Friedrich ; Middeldorp, Aart
Logical methods in computer science, 2014-09, Vol.10, Issue 3
[Periódico revisado por pares]
Logical Methods in Computer Science e.V
Texto completo disponível