Logical Methods in Computer Science Journal

Overview

publication venue for

• SMALL PROMISE CSPS THAT REDUCE TO LARGE CSPS 2022
• THE SUBPOWER MEMBERSHIP PROBLEM FOR FINITE ALGEBRAS WITH CUBE TERMS 2019

Research

keywords

• 0101 Pure Mathematics, 0803 Computer Software, 0802 Computation Theory and Mathematics