Searching for authors named "Fabio Gadducci" – sorted by Relevance.
29 documents found, showing 1 through 10.
Next 10 →
-
On The Algebraic Approach To Concurrent Term Rewriting
- … Ricerca in Informatica Ph.D. Thesis ON THE ALGEBRAIC APPROACH TO CONCURRENT TERM REWRITING Fabio Gadducci…
- Cited by 25 (9 self) – Add To MetaCart
-
The Tile Model - Errata to draft available on the net
- …Errata to The Tile Model draft available on the net Fabio Gadducci and Ugo Montanari 1 Universit…
- Add To MetaCart
-
An Algebraic Presentation of Term Graphs, via GS-Monoidal Categories
- …@(email omitted); Fabio Gadducci Technical University of Berlin, Fachbereich 13 Informatik, Franklinstrae 28/29, D-10587…
- Cited by 30 (20 self) – Add To MetaCart
-
A Functorial Semantics for Multi-Algebras and Partial Algebras, With Applications to Syntax
- … ? Andrea Corradini and Fabio Gadducci Univ. of Pisa, Dipartimento di Informatica, Corso Italia 40, I-56125…
- Cited by 13 (7 self) – Add To MetaCart
-
Some Algebraic Laws for Spans (and Their Connections With Multi-Relations)
- … and Fabio Gadducci Dipartimento di Informatica, Universita di Pisa fbruni,gadduccig@(email omitted); Abstract…
- Cited by 6 (3 self) – Add To MetaCart
-
Comparing Logics for Rewriting: Rewriting logic, action calculi and tile logic
- …Comparing Logics for Rewriting: Rewriting logic, action calculi and tile logic ? Fabio Gadducci…
- Cited by 12 (2 self) – Add To MetaCart
-
Tiles, Rewriting Rules and CCS
- … 1 Fabio Gadducci and Ugo Montanari Dipartimento di Informatica Universit`a di Pisa Corso Italia 40…
- Cited by 13 (7 self) – Add To MetaCart
-
Rewriting on Cyclic Structures
- … structures Andrea Corradini, Fabio Gadducci June 12, 1998 ADDR: Corso Italia 40,56125 Pisa,Italy. TEL: +39…
- Cited by 4 (3 self) – Add To MetaCart
-
Functorial Semantics for Multi-algebras
- …Functorial Semantics for Multi-algebras ? Andrea Corradini 1 and Fabio Gadducci 2 1 University…
- Cited by 6 (4 self) – Add To MetaCart
-
Rewriting On Cyclic Structures: Equivalence Between The Operational And The Categorical Description
- … DESCRIPTION Andrea Corradini 1 and Fabio Gadducci 2 Abstract. We present a categorical formulation…
- Cited by 8 (5 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
