Up a level |
Number of items: 1.
Lisitsa, A
(2018)
The Andrews-Curtis Conjecture, Term Rewriting and First-Order Proofs.
In: ICMS 2018.
Up a level |
Lisitsa, A
(2018)
The Andrews-Curtis Conjecture, Term Rewriting and First-Order Proofs.
In: ICMS 2018.
Research Support, University of Liverpool
Sydney Jones Library, Abercromby Square
Liverpool
L69 3DA,
UK
+44 (0)151 794 0000