On Categories of Nested Conditions
- 13 November 2024
- book chapter
- Published by Springer Nature
- p. 393-418
Abstract
No abstract availableKeywords
All Related Versions
This publication has 11 references indexed in Scilit:
- Graph Transformation for Software Engineers2020
- On the essence and initiality of conflicts in
M
-adhesive transformation systemsJournal of Logical and Algebraic Methods in Programming, 2019
- Symbolic Model Generation for Graph Properties2017
- Tableau-Based Reasoning for Graph Properties2014
- Correctness of high-level transformation systems relative to nested conditionsMathematical Structures in Computer Science, 2009
- Adhesive and quasiadhesive categoriesRAIRO - Theoretical Informatics and Applications, 2005
- Representing First-Order Logic Using Graphs2004
- GRAPH GRAMMARS WITH NEGATIVE APPLICATION CONDITIONSFundamenta Informaticae, 1996
- Optimal implementation of conjunctive queries in relational data bases1977
- The Existential Graphs of Charles S. Peirce1973