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