Betwixt Turing and Kleene.

Dag Normann Sam Sanders

Published in: LFCS (2022)

Keyphrases

propositional logic
regular expressions
machine intelligence
turing machine
database
database systems
low level
belief revision
machine learning
artificial intelligence