A reasoning system for satisfiability of diagrammatic specifications
From MaRDI portal
Publication:6599622
DOI10.1007/978-3-319-97879-6_15zbMATH Open1544.68135MaRDI QIDQ6599622FDOQ6599622
Authors: Yngve Lamo, Wendy MacCaull 
Publication date: 6 September 2024
Cites Work
- Graph structure and monadic second-order logic. A language-theoretic approach
- Title not available (Why is that?)
- Title not available (Why is that?)
- A formalisation of the copy-modify-merge approach to version control in MDE
- Dual tableaux. Foundations, methodology, case studies
- Fundamentals of algebraic graph transformation
- A diagrammatic logic for object-oriented visual modeling
- Graph Transformations
- Generalized sketches as a framework for completeness theorems. I-III
- Reasoning with graph constraints
- Correspondence results for relational proof systems with application to the Lambek calculus
- Symbolic graphs for attributed graph constraints
- A Kripke semantics for the logic of Gelfand quantales
- Quantifier-free logic for nondeterministic theories
- Title not available (Why is that?)
- Relational proof system for relevant logics
- Reasoning with first order nondeterministic specifications
- Relational proof system for linear and other substructural logics
- Tableau-Based Reasoning for Graph Properties
- Relational semantics and a relational proof system for full Lambek calculus
- Title not available (Why is that?)
- Title not available (Why is that?)
- A Logic of Type Relations and its Applications to Relational Databases
This page was built for publication: A reasoning system for satisfiability of diagrammatic specifications
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6599622)
