Consistency proof without transfinite induction for a formal system for turing machines.
Salvatore CaporasoPublished in: Arch. Math. Log. (1978)
Keyphrases
- turing machine
- proof planning
- set intersection
- proof search
- theorem proving
- database
- path consistency
- theorem prover
- formal specification
- real time
- linear logic
- temporal consistency
- formal methods
- formal model
- inductive logic programming
- decision trees
- machine learning
- rule induction
- subgroup discovery
- inductive learning
- constructive induction
- formal representation
- data model
- program synthesis
- databases