Complexity of Subclasses of the Intuitionistic Propositional Calculus.
Grigori MintsPublished in: BIT (1992)
Keyphrases
- propositional calculus
- worst case
- image sequences
- search algorithm
- lower complexity
- computational cost
- fuzzy set theory
- sufficient conditions
- data sets
- linear logic
- complexity analysis
- space complexity
- temporal reasoning
- memory requirements
- databases
- real time
- control system
- computational complexity
- information retrieval