Decidability of affine solution problems

DOI10.1093/LOGCOM/EXZ033MaRDI QIDQ5158360zbMATH OpenOpenAlexWikidataFDO

Authors Stefan Hetzl, Sebastian Zivota

Publication date 21 October 2021

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/logcom/exz033

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

Recommendations

• Logical equations in monadic logic
• Decision problems for language equations
• Deciding properties of affine loops
• Decidability of linear affine logic
• Equational problems and disunification

Cited in

(4)

• Solvability of context equations with two context variables is decidable
• scientific article; zbMATH DE number 1089735 (Why is no real title available?)
• A fixed-point theorem for Horn formula equations
• An abstract fixed-point theorem for Horn formula equations

This page was built for publication: Decidability of affine solution problems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5158360)