| Original language | English |
|---|---|
| Journal | Fifth Compulog-network Area Meeting on Language Design and Semantic Aralysis Methods |
| Publication status | Published - 1996 |
A Domain for a Semantics of Guarded Horn Clauses for Programs on Distributed Environment(共著)
Research output: Contribution to journal › Article