Showing cs.LOShow all
3 papers · 1 filter
cs.LO2024
Coinductive Techniques for Checking Satisfiability of Generalized Nested Conditions
Lara Stoltenow, Barbara König, Sven Schneider +3
We study nested conditions, a generalization of first-order logic to a categorical setting, and provide a tableau-based (semi-decision) procedure for checking (un)satisfiability an…
cs.LO2024
Drag Rewriting
Nachum Dershowitz, Jean-Pierre Jouannaud, Fernando Orejas
We present a new and powerful algebraic framework for graph rewriting, based on drags, a class of graphs enjoying a novel composition operator. Graphs are embellished with roots an…
cs.LO2020
Initial Conflicts for Transformation Rules with Nested Application Conditions
Leen Lambers, Fernando Orejas
We extend the theory of initial conflicts in the framework of M-adhesive categories to transformation rules with ACs. We first show that for rules with ACs, conflicts are in genera…