Kleene, Rogers and Rice Theorems Revisited in C and in Bash

Salvatore Caporaso Nicola Corriero

Published in: CoRR (2007)

Keyphrases

propositional logic
regular expressions
real time
pattern matching
machine learning
high quality
object recognition
user interface
least squares
belief revision
digital topology
precedence relations
ordered sets