Yegor Guskov

According to our database, Yegor Guskov authored at least 2 papers in 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Decidability of finite satisfiability of two-variable first-order logic with counting and local navigation in unordered unranked trees.

Yegor Guskov

PhD thesis, 2018

Two-variable First-Order Logic with Counting in Forests.

Witold Charatonik, Yegor Guskov, Ian Pratt-Hartmann, Piotr Witkowski

Proceedings of the LPAR-22. 22nd International Conference on Logic for Programming, 2018