Logical, Computational and Algorithmic Approach to Knots

Publications

• Alexei Lisitsa, Igor Potapov, Rafiq Saleh: Planarity of Knots, Register Automata and LogSpace Computability. LATA 2011: 366-377
• Alexei Lisitsa, Igor Potapov, Rafiq Saleh: Automata on Gauss Words. LATA 2009: 505-517
• Vitaliy Kurlin, Alexei Lisitsa, Igor Potapov, Rafiq Saleh: On Descriptional Complexity of the Planarity Problem for Gauss Words. CoRR abs/0907.4180 (2009)