Browse by Journal or other publication
Number of items: 2.
2024
Kitaev, Sergey and Sun, Haoran (2024) Human-verifiable proofs in the theory of word-representable graphs. RAIRO - Theoretical Informatics and Applications (RAIRO: ITA), 58. 10. ISSN 1290-385X (In Press)
2020
Chen, Herman Z. Q. and Kitaev, Sergey (2020) On universal partial words for word-patterns and set partitions. RAIRO - Theoretical Informatics and Applications (RAIRO: ITA), 54. 5. ISSN 1290-385X