On the semantics of nested datatypes
- 作者Clare Martin; Jeremy Gibbons
- 卷第80卷
- 期第5期
- 印刷ISSN0020-0190
- 文件大小82.93KB
- 发表时间2001
- DOI10.1016/s0020-0190(01)00168-5
- 页码233-238
同作者推荐
Parameterized counting problemsCatherine McCartin · 2006
Online promise problems with online width metricsRodney G. Downey; Catherine McCartin · 2007
Parameterized approximation of dominating set problemsRodney G. Downey; Michael R. Fellows; Catherine McCartin; Frances Rosamond · 2008
A 3-approximation algorithm for the subtree distance between phylogeniesMagnus Bordewich; Catherine McCartin; Charles Semple · 2008
A Faster FPT Algorithm for the Maximum Agreement Forest ProblemMichael Hallett; Catherine McCartin · 2007
On the parametric complexity of schedules to minimize tardy tasksMichael R. Fellows; Catherine McCartin · 2003
Bounding the maximum size of a minimal definitive set of quartetsMax Dietrich; Catherine McCartin; Charles Semple · 2012