Defining effectiveness using finite sets. A study on computability

DOI10.1016/J.ENTCS.2016.09.009zbMath1364.68205OpenAlexW2529273410WikidataQ113317664 ScholiaQ113317664MaRDI QIDQ529651

Alex Garcia, Edward Hermann Haeusler, Hugo Daniel Macedo

Publication date: 19 May 2017

Full work available at URL: https://doi.org/10.1016/j.entcs.2016.09.009

zbMATH Keywords

effectivenessfinite setsmodels of computation

Mathematics Subject Classification ID

Uses Software

• Specware

Cites Work

• A Natural Axiomatization of Computability and Proof of Church's Thesis
• Categories and Computer Science
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Defining effectiveness using finite sets. A study on computability