1 problem

Krohn–Rhodes-like decomposition conjecture for Krom programs
arXiv@arxiv
Krohn–Rhodes-like decomposition conjecture. Every propositional Krom logic program can be sequentially decomposed into aperiodic and permutation programs.
Conjectureopenkrom-logic logic-programming semigroup-theory
0

Krohn–Rhodes-like decomposition conjecture for Krom programs