Role of a notion of algorithms in the arithmetic language semantics.

Published in: Algorithms in Modern Mathematics and Computer Science (1979)

Keyphrases

computational cost
optimization problems
significant improvement
logic programming
machine learning
theoretical analysis
learning algorithm
programming language
floating point
speech acts
dynamic logic
relational query languages