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

Глава

Grammar Logics in Nested Sequent Calculus: Proof Theory and Decision Procedures

P. 516-537.
Tiu A., Ianovski E., Goré R.

В книге

Под науч. редакцией: T. Bolander, T. Brauner, S. Ghilardi. Iss. 9. L.: College Publications, 2012.