WEIGHTED DERIVATION TREES

被引:0
|
作者
LOUI, MC [1 ]
机构
[1] YALE UNIV,NEW HAVEN,CT 06510
关键词
D O I
10.1145/360336.360340
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
引用
收藏
页码:509 / 513
页数:5
相关论文
共 50 条
  • [1] WEIGHTED COLORING IN TREES
    Araujo, Julio
    Nisse, Nicolas
    Perennes, Stephane
    SIAM JOURNAL ON DISCRETE MATHEMATICS, 2014, 28 (04) : 2029 - 2041
  • [2] Weighted Coloring in Trees
    Araujo, Julio
    Nisse, Nicolas
    Perennes, Stephane
    31ST INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF COMPUTER SCIENCE (STACS 2014), 2014, 25 : 75 - 86
  • [3] Axiomatizing weighted synchronization trees and weighted bisimilarity
    Esik, Z.
    THEORETICAL COMPUTER SCIENCE, 2014, 534 : 2 - 23
  • [4] Formal derivation of spanning trees algorithms
    Abrial, JR
    Cansell, D
    Méry, D
    ZB 2003: FORMAL SPECIFICATION AND DEVELOPMENT IN Z AND B, 2003, 2651 : 457 - 476
  • [5] GENERATING-FUNCTIONS FOR DERIVATION TREES
    KUICH, W
    INFORMATION AND CONTROL, 1980, 45 (02): : 199 - 216
  • [6] Weighted Fisher informations, their derivation and use
    Frieden, B. Roy
    Soffer, Bernard H.
    PHYSICS LETTERS A, 2010, 374 (38) : 3895 - 3898
  • [7] Group Inverses of Weighted Trees
    Raju Nandi
    Bulletin of the Malaysian Mathematical Sciences Society, 2024, 47
  • [8] ON WEIGHTED MULTIWAY CUTS IN TREES
    ERDOS, PL
    SZEKELY, LA
    MATHEMATICAL PROGRAMMING, 1994, 65 (01) : 93 - 105
  • [9] Connected searching of weighted trees
    Dereniowski, Dariusz
    THEORETICAL COMPUTER SCIENCE, 2011, 412 (41) : 5700 - 5713
  • [10] Edge ranking of weighted trees
    Dereniowski, D
    DISCRETE APPLIED MATHEMATICS, 2006, 154 (08) : 1198 - 1209