scientific article; zbMATH DE number 1638651

MaRDI QIDQ2736348zbMATH OpenFDO

Authors Andrea Corradini, Francesca Rossi, Francesco Parisi-Presicce

Publication date 29 August 2001

Mathematics Subject Classification ID

Logic programming (68N17) Grammars and rewriting systems (68Q42)

Recommendations

• A hypergraph rewriting language and its semantics
• scientific article; zbMATH DE number 638303
• scientific article; zbMATH DE number 3988745
• scientific article; zbMATH DE number 1696789
• scientific article; zbMATH DE number 177436
• scientific article; zbMATH DE number 65531
• 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
• scientific article; zbMATH DE number 919850 (Why is no real title available?)
• Hyperedge replacement jungle rewriting for term-rewriting systems and logic programming
• scientific article; zbMATH DE number 3978424 (Why is no real title available?)
• 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
• Decidability of safety in graph-based models for access control
• 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
• scientific article; zbMATH DE number 177436 (Why is no real title available?)
• 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)