3 ms·
Related to equality-constrained tree automata[1], which (as far as I understand) can "pick" an implementation/realization out of a huge latent space of possibil
by felixyz 3y ago
Related to equality-constrained tree automata[1], which (as far as I understand) can "pick" an implementation/realization out of a huge latent space of possibilities.
[1]: https://www.jameskoppel.com/publication/ecta/ https://www.jameskoppel.com/publication/ecta/