One More Decidable Class of Finitely Ground Programs

DOI10.1007/978-3-642-02846-5_40zbMath1251.68064OpenAlexW1590284853MaRDI QIDQ5325773

Could not fetch data.

Publication date: 24 July 2009

Published in: (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-02846-5_40

Mathematics Subject Classification ID

Could not fetch data.