Spatial existential positive logics for hyperedge replacement grammars

DOI10.4230/LIPICS.CSL.2022.30MaRDI QIDQ6124965zbMATH OpenFDO

Authors Yoshiki Nakamura

Publication date 10 April 2024

Full work available at URL https://doi.org/10.4230/LIPICS.CSL.2022.30

zbMATH Keywords

existential positive logicKleene theoremspatial logic

Mathematics Subject Classification ID

Logic in computer science (03B70)

Recommendations

• Grammars based on a logic of hypergraph languages
• scientific article; zbMATH DE number 809155
• From Separation Logic to Hyperedge Replacement and Back
• Hyperedge replacement: grammars and languages
• Hypergraph Lambek grammars

This page was built for publication: Spatial existential positive logics for hyperedge replacement grammars

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6124965)