|
This article is cited in 1 scientific paper (total in 1 paper)
Decidable fragments of calculi used in CatLog
Max. I. Kanovichab, Stepan G. Kuznetsovc, Stepan L. Kuznetsovbd, Andre Scedrove a University College London, London, UK
b Computer Science Department, HSE University, Moscow, Russia
c Mathematics Department, HSE University, Moscow, Russia
d Steklov Mathematical Institute of RAS, Moscow, Russia
e Department of Mathematics, University of Pennsylvania, Philadelphia, USA
Linking options:
https://www.mathnet.ru/eng/sci1
|
Statistics & downloads: |
Abstract page: | 45 |
|