The countable versus uncountable branching recurrences in computability logic
Wenyan XuSanyang LiuPublished in: CoRR (2011)
Keyphrases
- logic programming
- search tree
- predicate logic
- computational properties
- classical logic
- machine learning
- modal logic
- databases
- asynchronous circuits
- logical framework
- markov chain
- case study
- information systems
- search engine
- query language
- multi valued
- website
- data mining
- real time
- linear logic
- proof theory
- propositional dynamic logic