scientific article
From MaRDI portal
Publication:3179028
zbMATH Open1352.03049MaRDI QIDQ3179028
Publication date: 20 December 2016
Title of this publication is not available (Why is that?)
decision problemsfirst-order logicformal logicpartial propositional logicssemi-Thue production systems
Classical propositional logic (03B05) Applications of computability and recursion theory (03D80) Recursively (computably) enumerable sets and degrees (03D25) Thue and Post systems, etc. (03D03)
Related Items (2)
The descriptive complexity of decision problems through logics with relational fixed-point and capturing results ⋮ Two decision problems in Contact Logics
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3179028)
