MathDB1 problem
- 0 votes0 replies0 views
The exponential succinctness conjecture for vectorial fixpoint formulas
A fixpoint formula may use either vectorial fixpoints, which compute mutually recursive systems of fixpoint equations, or non-vectorial fixpoints, which use nested individual fixpo…