scientific article; zbMATH DE number 7340567
From MaRDI portal
Publication:4986740
zbMATH Open1459.68090arXiv1211.4098MaRDI QIDQ4986740
Maribel Fernández, Sébastien Maulat
Publication date: 27 April 2021
Full work available at URL: https://arxiv.org/abs/1211.4098
Title of this publication is not available (Why is that?)
Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Grammars and rewriting systems (68Q42) Biologically inspired models of computation (DNA computing, membrane computing, etc.) (68Q07)
Recommendations
- Title not available (Why is that?) 👍 👎
- A higher-order implementation of rewriting 👍 👎
- Higher-order rewrite systems and their confluence 👍 👎
- A hypergraph rewriting language and its semantics 👍 👎
- Strategic port graph rewriting: an interactive modelling framework 👍 👎
- A Port Graph Rewriting Approach to Relational Database Modelling 👍 👎
- Graph Transformations 👍 👎
- A Rewriting Calculus for Multigraphs with Ports 👍 👎
- Processes, Terms and Cycles: Steps on the Road to Infinity 👍 👎
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4986740)
