A Domain for a Semantics of Guarded Horn Clauses for Programs on Distributed Environment(共著)

Research output: Contribution to journalArticle

Original languageEnglish
JournalFifth Compulog-network Area Meeting on Language Design and Semantic Aralysis Methods
Publication statusPublished - 1996

Cite this