Author:Alexei Lisitsa

Publications
EasyChair Preprint 13320

Keyphrases

Andrews-Curtis conjecture2, automated reasoning3, combinatorial group theory2, cryptographic protocols, finite model finders, first-order predicate logic, infinite-state systems, involutory quandles, parameterized systems, program analysis2, program specialization2, program transformation2, program verification, quantum verification, supercompilation2, tangles, verification.