Finite-basis theorems and a computation-integrated approach to obstruction set isolation

• Authors:

• M. R. Fellows;N. G. Kinnersley;M. A. Langston

• Affiliations:

• -;-;-

• Venue:
• Proceedings of the third conference on Computers and mathematics
• Year:
• 1989