Università di Pisa
Sistema bibliotecario di ateneo

Term Graph Syntax for Multi-Algebras

Corradini, Andrea and Gadducci, Fabio and Kahl, W. (2000) Term Graph Syntax for Multi-Algebras. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

[img] Postscript (GZip) - Published Version
Available under License Creative Commons Attribution No Derivatives.

Download (151Kb)


    Multi-algebras allow to model nondeterminism in an algebraic framework by interpreting operators as functions from individual arguments to sets of possible results. Starting from a functorial presentation of multi-algebras based on "gs-monoidal theories" we argue that specifications for multi-algebras should be based on the notion of term graphs instead of on standard terms. We consider the simplest case of (term graph) equational specification, showing that it enjoys an unrestricted form of substitutivity. We discuss the expressive power of equational specification for multi-algebras, and we sketch possible extensions of the calculus.

    Item Type: Book
    Uncontrolled Keywords: Multi-Algebras, Functorial Semantics, Term Graphs, Equational Deduction
    Subjects: Area01 - Scienze matematiche e informatiche > INF/01 - Informatica
    Divisions: Dipartimenti (until 2012) > DIPARTIMENTO DI INFORMATICA
    Depositing User: dott.ssa Sandra Faita
    Date Deposited: 27 Jan 2015 10:30
    Last Modified: 27 Jan 2015 10:30
    URI: http://eprints.adm.unipi.it/id/eprint/2029

    Repository staff only actions

    View Item