Travelled to:
1 × Latvia
Collaborated with:
N.Yonezaki
Talks about:
destruct (1) creation (1) tempor (1) object (1) extend (1) logic (1)
Person: Shin Miyakawa
DBLP: Miyakawa:Shin
Contributed to:
Wrote 1 papers:
- SEKE-1994-MiyakawaY #logic
- Temporal logic extended with object creation and destruction (SM, NY), pp. 156–163.