Browse by People

Up a level
Export as [feed] RSS [feed] RSS 2.0 Short Author List
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.

This list was generated on Sat Nov 11 19:23:13 2023 GMT.