A Term-Graph Syntax for Algebras over Multisets

被引：0
作者：
Gadducci, Fabio [1 ]
机构：
[1] Univ Pisa, Dipartimento Informat, La Spezia, Italy
来源：
RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES | 2009年 / 5486卷
关键词：
NONDETERMINISM;
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
Earlier papers argued that; term graphs play for the specification of relation-based algebras the same role that standard terms play for total algebras. The present contribution enforces the claim by showing that term graphs are a, sound and complete representation for multiset algebras, i.e., algebras whose operators are interpreted over multisets.
引用
收藏
页码：152 / 165
页数：14
相关论文
共 24 条
[1]   COUNTING PATHS - NONDETERMINISM AS LINEAR ALGEBRA [J].
BENSON, DB .
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1984, 10 (06) :785-794
[2]  
BRULLI R, 2002, THEOR COMPUT SCI, V286, P247
[3]  
Burmeister P., 1993, NATO ASI SER C-MATH, P1
[4]   CLASSES OF FINITE RELATIONS AS INITIAL ABSTRACT-DATA-TYPES .2. [J].
CAZANESCU, VE ;
STEFANESCU, G .
DISCRETE MATHEMATICS, 1994, 126 (1-3) :47-65
[5]   A functorial semantics for multi-algebras and partial algebras, with applications to syntax [J].
Corradini, A ;
Gadducci, F .
THEORETICAL COMPUTER SCIENCE, 2002, 286 (02) :293-322
[6]   Rewriting on cyclic structures: Equivalence between the operational and the categorical description [J].
Corradini, A ;
Gadducci, F .
RAIRO-INFORMATIQUE THEORIQUE ET APPLICATIONS-THEORETICAL INFORMATICS AND APPLICATIONS, 1999, 33 (4-5) :467-493
[7]  
Corradini A., 1996, Fundamenta Informaticae, V26, P241
[8]   An algebraic presentation of term graphs, via GS-monoidal categories [J].
Corradini, A ;
Gadducci, F .
APPLIED CATEGORICAL STRUCTURES, 1999, 7 (04) :299-331
[9]  
CORRADINI A, 2002, ELECT NOTES THEOR CO, P31
[10]  
CORRADINI A, 2000, TR0004 U PIS DEP INF
123