Finite Lattices of Subgraphs View PDF HTML
No mentions found
This entity hasn't been tracked yet, or Iris is still building its knowledge base.
Related Articles from SNS
A Nesting-Free Normal Form for Nested Conditions in Finite Lattices of Subgraphs
[Submitted on 26 Jan 2026 (v1), last revised 1 Jun 2026 (this version, v3)] Title:A Nesting-Free Normal Form for Nested Conditions in Finite Lattices of Subgraphs View PDF HTML (experimental)Abstract:We present a nesting-free normal form for the formalism of nested conditions and constraints in the context of finite lattices of subgraphs. Submission history From: Jens Kosiol [view email][v1]