• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Proceedings Sixth International Workshop on Logical Frameworks and Meta-languages: Theory and Practice, LFMTP 2011, Nijmegen, The Netherlands, August 26, 2011.

Published in: LFMTP (2011)
Keyphrases
  • international workshop
  • revised selected papers
  • domain driven data mining
  • lecture notes in artificial intelligence
  • pacific rim
  • acm sigkdd
  • selected papers
  • expressive power
  • logical theories
  • databases
  • special issue