Sound and Complete Equational Reasoning over Comodels
- 期刊名称Electronic Notes in Theoretical Computer Science
- 作者Pattinson, Dirk; Schröder, Lutz
- 卷第319卷
- 印刷ISSN1571-0661
- 文件大小267.42KB
- 发表时间2015-12
- DOI10.1016/j.entcs.2015.12.019
- 页码315-331
同期刊推荐
InformaciónEnfermería Clínica · 2001
Fe de erroresEnfermería Clínica · 2003
InformaciónEnfermería Clínica · 2001
Cartas al DirectorVila Gimeno, Carmen · Enfermería Clínica · 2002
InformaciónEnfermería Clínica · 2004
InformaciónEnfermería Clínica · 2004
Fe de erroresEnfermería Clínica · 2003
Urgen respuestasMiguélez-Chamorro, Angélica · Enfermería Clínica · 2014