Definable Naming Relations in Meta-level Systems (1992)

Cached

Download Links

by Frank Van Harmelen
Venue:Proceedings of the Third Workshop on Meta-programming in Logic (META'92), volume 649 of Lecture Notes in Computer Science
Citations:13 - 5 self

Document Versions

Definable Naming Relations in Meta-level Systems –Frank Van Harmelen — 1992 — Proceedings of the Third Workshop on Meta-programming in Logic (META'92), volume 649 of Lecture Notes in Computer Science