| Original language | English |
|---|---|
| Journal | Trans of IPSJ |
| Volume | 37 |
| Issue number | 8 |
| Publication status | Published - 1996 |
An QR-Compositional Semantics of Guarded Horn Clauses for Programs with Perpetual Processes(共著)
Research output: Contribution to journal › Article