1 problem
Matching
Krohn–Rhodes-like decomposition conjecture. Every propositional Krom logic program can be sequentially decomposed into aperiodic and permutation programs.
Krohn–Rhodes-like decomposition conjecture. Every propositional Krom logic program can be sequentially decomposed into aperiodic and permutation programs.