=ADD=

=author=
named; not
=title=
COmputational COmmutative Algebra (COCOA VI)
Abstracts of the talks and posters
=note=
Villa Gualino, Torino, Italy, June 3 - 5, 1999
=year=
1999
=publisher=
not mentioned
=owner=
2
=reftype=
1
=source=
3

=ADD=
=author=
Vorobyov; Sergei
=title=
{$\forall\exists^*$}-Equational Theory of Context Unification is {$\Pi^0_1}-Hard
=year=
1998
=institution=
Max-Planck Institut
=number=
008
=month=
04
=location=
2
=owner=
2
=reftype=
11
=source=
3