Algebra and Logic
Proceedings Paper
Antonelli,M;Dal Lago,U;Davoli,D;Oitavem,I;Pistone,P
32ND EACSL ANNUAL CONFERENCE ON COMPUTER SCIENCE LOGIC, CSL 2024
32nd EACSL Annual Conference on Computer Science Logic (CSL)
Leibniz International Proceedings in Informatics
2024
288
10.4230/lipics.csl.2024.10