• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

Глава

An axiomatization of iteration-free PDL with loop

P. 49-53.
Rybakov M., Balbiani P.