On Fork Arrow Logic and its Expressive Power
Paulo A. S. Veloso; Renata P. de Freitas; Petrucio Viana; Mario Benevides; Sheila R. M. Veloso
- 作者Paulo A. S. Veloso; Renata P. de Freitas; Petrucio Viana; Mario Benevides; Sheila R. M. Veloso
- 卷第36卷
- 期第5期
- 印刷ISSN0022-3611
- 电子ISSN1573-0433
- 文件大小456.02KB
- 发表时间2007-10
- DOI10.1007/s10992-006-9043-x
- 页码489-509