The influence of domain interpretations on computational models

2009/05/05 by Udi Boker, Nachum Dershowitz
Computer Science · #Computability, Logic, AI Algorithms #Machine Learning and Algorithms #Semantic Web and Ontologies

paper · doi:10.1016/j.amc.2009.04.063

Citations

• On Computable Numbers, with an Application to the Entscheidungsproblem
• An Unsolvable Problem of Elementary Number Theory
• Systems of Logic Based on Ordinals †