First Page | Document Content | |
---|---|---|
Date: 2017-10-23 08:30:32 | On axiomatization and polytime decidability of strictly positive fragment of K4.3 M. Svyatlovsky Moscow Institute of Physics and Technology Wormshop 2017Add to Reading ListSource URL: wrm17.mi.ras.ruDownload Document from Source WebsiteFile Size: 149,65 KBShare Document on Facebook |