Another automatic boundedness technique

Autoria(s): Mathieu, Martin
Data(s)

2004
Identificador

http://pure.qub.ac.uk/portal/en/publications/another-automatic-boundedness-technique(4684e588-b931-4bca-8f4a-ae3113309aef).html
Idioma(s)

eng
Direitos

info:eu-repo/semantics/restrictedAccess
Fonte

Mathieu , M 2004 , ' Another automatic boundedness technique ' Contemporary Mathematics , vol 363 , pp. 241-248 .
Tipo

article
Acesso ao item digital