Raya, Rodrigo; Kunčak, Viktor Succinct ordering and aggregation constraints in algebraic array theories. (English) Zbl 07870780 J. Log. Algebr. Methods Program. 140, Article ID 100978, 22 p. (2024). MSC: 68-XX × Cite Format Result Cite Review PDF Full Text: DOI
Rodríguez, Andoni; Sánchez, César Realizability modulo theories. (English) Zbl 07870778 J. Log. Algebr. Methods Program. 140, Article ID 100971, 16 p. (2024). MSC: 68-XX × Cite Format Result Cite Review PDF Full Text: DOI
Raya, Rodrigo; Kunčak, Viktor On algebraic array theories. (English) Zbl 07803169 J. Log. Algebr. Methods Program. 136, Article ID 100906, 30 p. (2024). MSC: 68-XX × Cite Format Result Cite Review PDF Full Text: DOI OA License