Mechanizing Metatheory Without Typing Contexts.

Jonghyun Park Jeongbong Seo Sungwoo Park Gyesik Lee

Published in: J. Autom. Reason. (2014)

Keyphrases

data sets
database
knowledge base
metadata
high level
social context