加载中…
2026-01-26
A Nesting-Free Normal Form for Nested Conditions in Finite Lattices of Subgraphs
Jens KosiolSteffen Zschaler
文献摘要
We present a nesting-free normal form for the formalism of nested conditions and constraints in the context of finite lattices of subgraphs.
讨论
0讲解博客
生成讲解博客的中文版本
AI智能校验
生成AI智能校验的中文版本