Login / Signup

Automatically Deriving Schematic Theorems for Dynamic Contexts.

Olivier Savary BélangerKaustuv Chaudhuri
Published in: LFMTP (2014)
Keyphrases
  • database
  • databases
  • natural language
  • changing environment
  • dynamically changing