Результаты

1. Computational and Proof Complexity of Partial String Avoidability

   Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

2. On obdd-based algorithms and proof systems that dynamically change the order of variables

   Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

3. Resolution over linear equations modulo two

   Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

Просмотреть все (32) »