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