Verification of Meta-Interpreters

You are here

TitleVerification of Meta-Interpreters
Publication TypeJournal Article
Year of Publication1997
AuthorsPedreschi, D, Ruggieri, S
JournalJ. Log. Comput.
Volume7
Issue2
Pagination267-303
Taxonomy upgrade extras: