Anastasiia Ryzhova

From MaRDI portal
Person:5382578



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
Craig’s trick and a non-sequential system for the Lambek calculus and its fragments
Logic Journal of the IGPL
2019-06-18Paper


Research outcomes over time


This page was built for person: Anastasiia Ryzhova