13 citations · 18 across the 5 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2021
First-Order Sketch Conditions and Constraints -- A Category Independent Approach
Uwe Wolter
Generalizing different variants of "graph conditions and constraints" as well as "universal constraints" and "negative universal constraints" in the Diagram Predicate Framework (DP…
cs.LO2021★ 1 cited
Logics of First-Order Constraints -- A Category Independent Approach
Uwe Wolter
Reflecting our experiences in areas, like Algebraic Specifications, Abstract Model Theory, Graph Transformations, and Model Driven Software Engineering (MDSE), we present a general…