On the Solvability of Algorithmic Problems

This publication has 7 references indexed in Scilit:

• Defining algebraic elements
  The Journal of Symbolic Logic, 1973
• An axiomatic definition of the programming language PASCAL
  Acta Informatica, 1973
• Implementation and applications of Scott's logic for computable functions
  Published by Association for Computing Machinery (ACM) ,1972
• A characterization of context-free languages
  Journal of Computer and System Sciences, 1971
• An axiomatic basis for computer programming
  Communications of the ACM, 1969
• Categoricity in power
  Transactions of the American Mathematical Society, 1965
• Algebraic Extensions of Relational Systems.
  MATHEMATICA SCANDINAVICA, 1962