no code implementations • 5 Jul 2014 • Benjamin J. Hescott, Roni Khardon
In particular, we study the evaluation problem, the satisfiability problem, and the equivalence problem for GFODDs under the assumption that the size of the intended model is given with the problem, a restriction that guarantees decidability.