Logo del repository
  1. Home
 
Opzioni

A simple criterion for M,N-adhesivity

Castelnovo D.
•
Gadducci F.
•
Miculan M.
2024
  • journal article

Periodico
THEORETICAL COMPUTER SCIENCE
Abstract
Adhesive categories, and variants such as M,N-adhesive ones, marked a watershed moment for the algebraic approaches to the rewriting of graph-like structures, since they provide an abstract framework where many general results (on e.g. parallelism) could be recast and uniformly proved. However, often checking that a model satisfies the adhesivity properties is far from immediate. In this paper we present a new criterion giving a sufficient condition for M,N-adhesivity, a generalisation of the original notion of adhesivity. To show the effectiveness of this criterion, we apply it to several existing categories of graph-like structures, including hypergraphs, various kinds of hierarchical graphs (a formalism that is notoriously difficult to fit in the mould of algebraic approaches to rewriting), and combinations of them.
DOI
10.1016/j.tcs.2023.114280
WOS
WOS:001111662700001
Archivio
https://hdl.handle.net/11390/1267085
info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85175731703
https://ricerca.unityfvg.it/handle/11390/1267085
Diritti
metadata only access
Soggetti
  • Adhesive categorie

  • Algebraic rewriting

  • Graph rewriting

  • Hypergraph

  • Rewriting system

  • Term graphs

google-scholar
Get Involved!
  • Source Code
  • Documentation
  • Slack Channel
Make it your own

DSpace-CRIS can be extensively configured to meet your needs. Decide which information need to be collected and available with fine-grained security. Start updating the theme to match your nstitution's web identity.

Need professional help?

The original creators of DSpace-CRIS at 4Science can take your project to the next level, get in touch!

Realizzato con Software DSpace-CRIS - Estensione mantenuta e ottimizzata da 4Science

  • Impostazioni dei cookie
  • Informativa sulla privacy
  • Accordo con l'utente finale
  • Invia il tuo Feedback