Definable Naming Relations in Meta-level Systems (1992)

View PDF

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:14 - 5 self