Collaborated with:
∅
Talks about:
structur (2) rewrit (2) logic (2) categori (1) cyclic (1) condit (1) share (1) model (1)
Person: Hiroyuki Miyoshi
DBLP: Miyoshi:Hiroyuki
Contributed to:
Wrote 2 papers:
- FLOPS-1998-Miyoshi #logic
- Rewriting Logic for Cyclic Sharing Structures (HM), pp. 167–186.
- RWLW-1996-Miyoshi #category theory #logic #modelling
- Modelling conditional rewriting logic in structured categories (HM), pp. 20–34.