Definable Naming Relations in Meta-level Systems. Harmelen, F. In Meta-Programming in Logic, 3rd International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992, Proceedings, pages 89-104, 1992.
bibtex   
@inproceedings{ DBLP:conf/meta/Harmelen92,
  author    = {Frank Harmelen},
  title     = {Definable Naming Relations in Meta-level Systems},
  booktitle   = {Meta-Programming in Logic, 3rd International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992, Proceedings},
  pages   = {89-104} ,
  year   = {1992}
}

Downloads: 0