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

Глава

On Lambek’s Restriction in the Presence of Exponential Modalities

P. 146-158.
Kanovich M., Kuznetsov S., Scedrov A.

В книге

Под науч. редакцией: S. Artemov, A. Nerode. Vol. 9537: Logical Foundations of Computer Science. Springer, 2016.