Sergei Vorobyov

zbMath Openvorobyov.sergei-gMaRDI QIDQ598193

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
On the bounded theories of finite trees	2024-06-21	Paper
Could orders be captured by term rewriting systems? Conditional Term Rewriting Systems	2023-03-09	Paper
An improved lower bound for the elementary theories of trees Automated Deduction — Cade-13	2019-01-15	Paper
The first-order theory of one step rewriting in linear noetherian systems is undecidable Rewriting Techniques and Applications	2017-11-17	Paper
Linear complementarity and P-matrices for stochastic games Perspectives of Systems Informatics	2010-02-02	Paper
Perspectives of System Informatics Lecture Notes in Computer Science	2010-01-05	Paper
Cyclic games and linear programming Discrete Applied Mathematics	2008-09-10	Paper
Linear Programming Polytope and Algorithm for Mean Payoff Games Algorithmic Aspects in Information and Management	2008-01-04	Paper
A combinatorial strongly subexponential strategy improvement algorithm for mean payoff games Discrete Applied Mathematics	2007-02-19	Paper
Combinatorial structure and randomized subexponential algorithms for infinite games Theoretical Computer Science	2006-03-20	Paper
Mathematical Foundations of Computer Science 2004 Lecture Notes in Computer Science	2005-08-22	Paper
Memoryless determinacy of parity and mean payoff games: a simple proof Theoretical Computer Science	2004-10-27	Paper
The most nonelementary theory Information and Computation	2004-08-06	Paper
scientific article; zbMATH DE number 1962853 (Why is no real title available?)	2003-08-11	Paper
The undecidability of the first-order theories of one step rewriting in linear canonical systems Information and Computation	2003-01-14	Paper
\(\forall \exists^{5}\)-equational theory of context unification is undecidable Theoretical Computer Science	2002-07-31	Paper
A randomized subexponential algorithm for parity games Nordic Journal of Computing	2002-01-24	Paper
scientific article; zbMATH DE number 1342218 (Why is no real title available?)	2000-07-09	Paper
scientific article; zbMATH DE number 1222595 (Why is no real title available?)	1998-11-11	Paper

Research outcomes over time

This page was built for person: Sergei Vorobyov