scientific article; zbMATH DE number 6667198

zbMATH Open1352.03049MaRDI QIDQ3179028FDOQ3179028

Eduardo Piza, Iveth Martínez

Publication date: 20 December 2016

Title of this publication is not available (Why is that?)

zbMATH Keywords

first-order logicformal logicdecision problemspartial propositional logicssemi-Thue production systems

Mathematics Subject Classification ID

Classical propositional logic (03B05) Thue and Post systems, etc. (03D03) Recursively (computably) enumerable sets and degrees (03D25) Applications of computability and recursion theory (03D80)

Cited In (3)

• Two decision problems in Contact Logics
• The descriptive complexity of decision problems through logics with relational fixed-point and capturing results
• Title not available (Why is that?)

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)