MathDB2 problems
- 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…
- 0 votes0 replies0 views
Game-theoretic characterization of natural isomorphism for parity-game interpretations
Game-theoretic equivalence conjecture. The notion of game-theoretic equivalence can be defined so that two parity games are game-theoretically equivalent if and only if their inter…