索拉斯·阿尔图扎拉

• 邻接矩阵
• 有向图交集
• 有向图并集
• 存在式
• 图笛卡尔积
• 图表强产品
• 图张量积
• 带标签有向图