scientific article; zbMATH DE number 1638651
From MaRDI portal
zbMATH Open0967.68507MaRDI QIDQ2736348FDOQ2736348
Authors: Andrea Corradini, Francesca Rossi, Francesco Parisi-Presicce 
Publication date: 29 August 2001
Title of this publication is not available (Why is that?)
Recommendations
- A hypergraph rewriting language and its semantics
- scientific article; zbMATH DE number 638303
- scientific article; zbMATH DE number 3988745
- Extensional higher-order logic programming
- Extensional higher-order logic programming
- scientific article; zbMATH DE number 1696789
- scientific article
- scientific article
- Publication:3030254
- Parametrized logic programming
Cited In (14)
- Graph rewriting for a partial ordering semantics of concurrent constraints programming
- Relativized hyperequivalence of logic programs for modular programming
- Title not available (Why is that?)
- Hyperedge replacement jungle rewriting for term-rewriting systems and logic programming
- Decidability of Safety in Graph-Based Models for Access Control
- Title not available (Why is that?)
- A kernel language for programmed rewriting of (hyper)graphs
- Logic Programming with Graph Automorphism: Integratingnautywith Prolog (Tool Description)
- Context-free hypergraph grammars have the same term-generating power as attribute grammars
- Logic based structure rewriting systems
- Towards the Use of Hypergraphs in Multi-adjoint Logic Programming
- Weighted graphs: A tool for studying the halting problem and time complexity in term rewriting systems and logic programming
- Title not available (Why is that?)
- Mapping Fusion and Synchronized Hyperedge Replacement into logic programming
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 Q2736348)
