 | Up a level |
Number of items: 2.
Lisitsa, A
(2018)
The Andrews-Curtis Conjecture, Term Rewriting and First-Order Proofs.
In: ICMS 2018.
Hustadt, U 
ORCID: 0000-0002-0455-0267, Nalon, C and Dixon, C ORCID: 0000-0002-4610-9533
(2018)
Evaluating pre-processing techniques for the separated normal form for temporal logics.
In: 6th Workshop on practical aspects of automated reasoning (PAAR-2018), 2018-7-19 - 2018-7-19, Oxford, UK.