A short proof for the open quadrant problem
- Fernando, J.F.
- Ueno, C.
Revista:
Journal of Symbolic Computation
ISSN: 0747-7171
Any de publicació: 2017
Volum: 79
Pàgines: 57-64
Tipus: Article