Login / Signup

Synthetic domain theory and models of linear Abadi & Plotkin logic.

Rasmus Ejlers MøgelbergLars BirkedalGiuseppe Rosolini
Published in: Ann. Pure Appl. Log. (2008)
Keyphrases
  • domain theory
  • complex domains
  • linear model
  • data sets
  • data mining
  • prior knowledge
  • logic programming
  • modal logic
  • inductive learning
  • explanation based learning