Polynomial Interpretations with Negative Coefficients

Artificial Intelligence and Symbolic Computation - Lecture Notes in Computer Science ◽

10.1007/978-3-540-30210-0_16 ◽

2004 ◽

pp. 185-198 ◽

Cited By ~ 16

Author(s):

Nao Hirokawa ◽

Aart Middeldorp

Download Full-text