Author:
Guerra Esther,Orejas Fernando
Subject
Software,Theoretical Computer Science,Computational Theory and Mathematics,Logic
Reference4 articles.
1. Hybrid search plan generation for generalized graph pattern matching;Barkowsky;Journal of Logical and Algebraic Methods in Programming,2020
2. Knowledge representation and update in hierarchies of graphs;Harmer;Journal of Logical and Algebraic Methods in Programming,2020
3. Constructing optimized constraint-preserving application conditions for model transformation rules;Nassar;Journal of Logical and Algebraic Methods in Programming,2020
4. Double-pushout-rewriting in s-cartesian functor categories: Rewriting theory and application to partial triple graphs;Kosiol;Journal of Logical and Algebraic Methods in Programming,2020