On the Strength of Temporal Proofs.
Hajnal AndrékaIstván NémetiIldikó SainPublished in: Theor. Comput. Sci. (1991)
Keyphrases
- temporal information
- spatio temporal
- temporal constraints
- spatial and temporal
- theorem proving
- temporal consistency
- temporal reasoning
- temporal patterns
- temporal data
- temporal databases
- temporal evolution
- temporal dimension
- natural deduction
- machine learning
- temporal analysis
- spatial features
- data structure
- database systems