POPLMark reloaded: mechanizing logical relations proofs (invited talk).
Brigitte PientkaPublished in: CPP (2018)
Keyphrases
- invited talk
- selected papers
- knowledge discovery and data mining
- logical structure
- theorem proving
- carefully reviewed and selected from submissions
- information systems
- database
- truth values
- theorem prover
- logical formulas
- natural deduction
- spatial relations
- learning styles
- knowledge discovery
- artificial intelligence
- real world