Logical foundations of CafeOBJ
- 作者Răzvan Diaconescu; Kokichi Futatsugi
- 卷第285卷
- 期第2期
- 印刷ISSN0304-3975
- 文件大小297.01KB
- 发表时间2002
- DOI10.1016/s0304-3975(01)00361-9
- 页码289-318
同作者推荐
Induced subgraphs and well-quasi-orderingPeter Damaschke · 1990
Irredundance number versus domination numberPeter Damaschke · 1991
Dominating cliques in chordal graphsDieter Kratsch; Peter Damaschke; Anna Lubiw · 1994
PLA folding in special graph classesPeter Damaschke · 1994
Threshold Group TestingPeter Damaschke · 2005
On parallel attribute-efficient learningPeter Damaschke · 2003
Multiple Spin-Block DecisionsPeter Damaschke · Algorithmica · 2006