ON VISUAL FORMALISMS

被引:414
作者
HAREL, D [1 ]
机构
[1] CARNEGIE MELLON UNIV,DEPT COMP SCI,PITTSBURGH,PA 15213
关键词
D O I
10.1145/42411.42414
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
引用
收藏
页码:514 / 530
页数:17
相关论文
共 50 条
  • [1] ALFEDAGHI SS, 1983, ENTITY RELATIONSHIP, P761
  • [2] Berge C., 1973, GRAPHS HYPERGRAPHS, V7
  • [3] BERRY G, 1985, LECT NOTES COMPUT SC, V197, P389
  • [4] Biggs N, 1976, GRAPH THEORY 1736 19
  • [5] Brachman R.J., 1979, ASS NETWORKS REPRESE, P3, DOI 10.1016/B978-0-12-256380-5.50007-4
  • [6] CARDELLI L, 1984, LECT NOTES COMPUT SC, V173, P51
  • [7] Charniak E., 1985, INTRO ARTIFICIAL INT
  • [8] Conklin J., 1989, IEEE COMPUT, V20, P17, DOI DOI 10.1109/MC.1987.1663693
  • [9] NON-ANALYTIC ASPECTS OF MATHEMATICS AND THEIR IMPLICATION FOR RESEARCH AND EDUCATION
    DAVIS, PJ
    ANDERSON, JA
    [J]. SIAM REVIEW, 1979, 21 (01) : 112 - 127
  • [10] dos Santos C. S., 1980, Entity-Relationship Approach to Systems Analysis and Design, Proceedings of the International Conference, P103