ON VISUAL FORMALISMS

被引：415

作者：

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

DAVIS, PJ ;

ANDERSON, JA .

[10]

dos Santos C. S., 1980, Entity-Relationship Approach to Systems Analysis and Design, Proceedings of the International Conference, P103