3 citations · 3 across the 7 of their papers we have counts for
Showing cs.LOShow all
3 papers · 1 filter
cs.LO2026
Proceedings 16th International Workshop on Graph Computation Models
Leen Lambers, Oszkár Semeráth
This volume contains the post-proceedings of the Sixteenth International Workshop on Graph Computation Models (GCM 2025). The workshops took place in Koblenz, Germany on June 10 as…
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.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…