Результаты

  1. MECHANIZED THEORY OF EVENT STRUCTURES: A CASE OF PARALLEL REGISTER MACHINE

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

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

Деятельность

  1. Mechanized Theory of Event Structures: A Case of Parallel Register Machine

    Деятельность: Выступление на научной конференциивыступление с устным докладом

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

ID: 29463999