REDUCTION TECHNIQUES FOR PROVING DECIDABILITY IN LOGICS AND THEIR MEET–COMBINATION

التفاصيل البيبلوغرافية
العنوان:	REDUCTION TECHNIQUES FOR PROVING DECIDABILITY IN LOGICS AND THEIR MEET–COMBINATION
المؤلفون:	RASGA, JOÃO, SERNADAS, CRISTINA, CARNIELLI, WALTER
المصدر:	The Bulletin of Symbolic Logic, 2021 Mar 01. 27(1), 39-66.
URL الوصول:	https://www.jstor.org/stable/27032793
قاعدة البيانات:	JSTOR Journals

الوصف
تدمد:	10798986 19435894