Model inference for spreadsheets
- 期刊名称Automated Software Engineering
- 作者Cunha, Jácome; Erwig, Martin; Mendes, Jorge; Saraiva, João
- 卷第23卷
- 期第3期
- 印刷ISSN0928-8910
- 电子ISSN1573-7535
- 文件大小2297.75KB
- 发表时间2016-9-3
- DOI10.1007/s10515-014-0167-x
- 页码361-392
PrefaceApplied Categorical Structures · 1996
Categorical aspects of equivariant homotopyJean-Marc Cordier; Timothy Porter · Applied Categorical Structures · 1996
On fixpoint objects and gluing constructionsRoy L. Crole · Applied Categorical Structures · 1996
Arithmetical categories and commutator theoryM. C. Pedicchio · Applied Categorical Structures · 1996
Categories of algebraic setsYves Diers · Applied Categorical Structures · 1996
Matrices, machines and behaviorsStephen L. Bloom; N. Sabadini; R. F. C. Walters · Applied Categorical Structures · 1996
Process synchronisation as fusionStefano Kasangian; Anna Labella; David Murphy · Applied Categorical Structures · 1996
An algebraic approach to chaosS. B. Niefield · Applied Categorical Structures · 1996