On the Expressive Power of Graph Logic

DOI10.1007/11874683_32zbMath1225.03030OpenAlexW1601983063MaRDI QIDQ3613359

Jerzy Marcinkowski

Publication date: 12 March 2009

Published in: Computer Science Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11874683_32

Mathematics Subject Classification ID

Logic in computer science (03B70)

Related Items (4)

Expressive Completeness of Separation Logic with Two Variables and No Separating Conjunction ⋮ Separation logics and modalities: a survey ⋮ On the Almighty Wand ⋮ Separating Graph Logic from MSO

This page was built for publication: On the Expressive Power of Graph Logic