A navigational logic for reasoning about graph properties
type: Item
instance of: scholarly article
title: A navigational logic for reasoning about graph properties
zbMATH Open document ID: 1455.68147
author: Marisa Navarro
author: Fernando Orejas
author: Elvira Pino
author: Leen Lambers
published in: Journal of Logical and Algebraic Methods in Programming
publication date: 2021-02-26T00:00:00Z
Mathematics Subject Classification ID: 68R10
Mathematics Subject Classification ID: 03B70
zbMATH DE Number: 7316055
zbMATH Keywords: graph logic
zbMATH Keywords: algebraic methods
zbMATH Keywords: formal modelling
zbMATH Keywords: specification
describes a project that uses: VAMPIRE
MaRDI profile type: Publication
full work available at URL: j.jlamp.2020.100616
OpenAlex ID: W3092494699
cites work: Q4737192
cites work: Correctness of high-level transformation systems relative to nested conditions
cites work: Q3150300
cites work: Tableau-Based Reasoning for Graph Properties
cites work: Symbolic Model Generation for Graph Properties
cites work: Satisfiability of Constraint Specifications on XML Documents
cites work: Towards a navigational logic for graphical structures
cites work: Institutions for navigational logics for graphical structures
cites work: Institutions: abstract model theory for specification and programming
cites work: Specifications in an arbitrary institution
cites work: Reasoning with graph constraints
cites work: Fundamentals of algebraic graph transformation
cites work: Tableaux and related methods
cites work: Resolution-Like Theorem Proving for High-Level Conditions
cites work: Q5797034
cites work: Q4714446
cites work: Q3751030
cites work: Q4222796
cites work: Q4890712
cites work: Graph Transformations
cites work: Verifying Monadic Second-Order Properties of Graph Programs
cites work: Querying Regular Graph Patterns
cites work: Semantic Acyclicity on Graph Databases
cites work: Graph-based specification of access control policies
cites work: Symmetric lenses
cites work: Symbolic graphs for attributed graph constraints
DOI: 10.1016/J.JLAMP.2020.100616
description: scientific article; zbMATH DE number 7316055